3729 search results - page 525 / 746 » On Formal Modeling of Agent Computations |
168
click to vote
SPIN
2005
Springer
16 years 1 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
161
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we present a swarm grammar system that makes use of bio-inspired mechanisms of reproduction, communication and construction in order to build three-dimensional struc...
166
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
190
click to vote
ESTIMEDIA
2008
Springer
15 years 8 months ago
2008
Springer
We propose a design optimization framework for adaptive real-time streaming applications. The main contribution is a hybrid approach for performance analysis combining formal anal...
145
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Many solutions for securing inter-provider handover proposed to date make use of the concept of security context transfer. However, none of these solutions addresses problems aris...