1
Udgivet 2010
Indholdsfortegnelse: ... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...
Få fuldtekst
Electronisk eBog
2
Udgivet 2007
Indholdsfortegnelse: ...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...
Få fuldtekst
Electronisk eBog
3
Udgivet 2013
Indholdsfortegnelse: ... Modeling and Optimization of Live VM Migration -- Towards Supervisory Control of Generally-Distributed...
Få fuldtekst
Electronisk eBog
4
Udgivet 2007
Indholdsfortegnelse: ... Prevention System for Email Applications -- Design and Evaluation of Parallel String Matching Algorithms...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ... for Symbiotic Computing -- B-Dash: Agent Platform for Mutual Cognition between Human and Agents -- An Extraction...
Få fuldtekst
Electronisk eBog
6
Udgivet 2005
Indholdsfortegnelse: ... Authorization Scheme for Java -- Specification and Validation of Authorisation Constraints Using UML and OCL...
Få fuldtekst
Electronisk eBog
7
Udgivet 2006
Indholdsfortegnelse: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Få fuldtekst
Electronisk eBog
8
Udgivet 2006
Indholdsfortegnelse: ... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...
Få fuldtekst
Electronisk eBog
9
Udgivet 2015
Indholdsfortegnelse: ... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...
Få fuldtekst
Electronisk eBog
10
Udgivet 2013
Indholdsfortegnelse: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Få fuldtekst
Electronisk eBog
11
Udgivet 2008
Indholdsfortegnelse: ... between Hardware and Software -- Computational Logical Frameworks and Generic Program Analysis...
Få fuldtekst
Electronisk eBog
12
Udgivet 2008
Indholdsfortegnelse: ...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...
Få fuldtekst
Electronisk eBog
13
Udgivet 2008
Indholdsfortegnelse: ...Malicious Code on Java Card Smartcards: Attacks and Countermeasures -- Static Program Analysis...
Få fuldtekst
Electronisk eBog