1
Published 2010
Table of Contents: ... Models -- A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Provision Approach for Virtualized Network Intrusion Detection Systems -- An Active Intrusion Detection...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- Biological Systems as Reactive Systems -- Mobile Agents Computing: Security Issues and Algorithmic Solutions...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... to Detect Stepping-Stone -- A New ID-Based Broadcast Encryption Scheme -- Automated Abduction for Computer...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...-channel Interference Using Switched Parasitic Array Antenna in Femtocell Networks -- User Policy Based...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ...Lazy and Speculative Execution in Computer Systems -- In Search of the Holy Grail: Looking...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- Minimum CDS in Multihop Wireless Networks with Disparate Communication Ranges -- Minimum Edge Interference...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... in Biochemically Reacting Systems -- An Approximate Execution of Rule-Based Multi-level Models -- Computing...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ...Search Computing: Addressing Complex Search on the Web -- Hypergraph-Theoretic Partitioning Models...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Interference -- Smart Instant Messenger in Pervasive Computing Environments -- Session 2: Grid Scheduling...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Algorithm for Minimum Interference Channel Assignment in Multi-radio Wireless Mesh Networks -- A...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ...-threaded Applications.- Bounded-Interference Sequentialization for Testing Concurrent Programs.- Runtime...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... on Mobile Devices -- CloudSVM: Training an SVM Classifier in Cloud Computing Systems -- A Document-Based...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Networks with IPFIX -- Sensing for Stride Information of Sprinters -- Programming & Architecture -- Wiselib...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Computing To Detect Emotions with Color; M.-F.Lee, et al -- Bucket Index Ordering Problem in Range Queries...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... -- Intrusion Detection in Zero Knowledge System Using Model Checking Approach -- Detecting Malicious users in P...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ...Model-Based Security -- Detecting Code Reuse Attacks with a Model of Conformant Program Execution...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... -- Multicast in Multi-channel Wireless Mesh Networks -- Ambient Interference Effects in Wi-Fi Networks -- A...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ...Medium Access Control -- Physical Model Based Interference Classification and Analysis -- Dynamic...
View full text
Electronic eBook