1766 search results - page 264 / 354 » A Distributed Communication System for Integration with Logi... |
145
Voted
FM
2006
Springer
15 years 7 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
151
Voted
SFM
2005
Springer
15 years 9 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
110
Voted
IOPADS
1997
15 years 5 months ago
1997
As high-speed networks make it easier to use distributed resources, it becomes increasingly common that applications and their data are not colocated. Users have traditionally add...
130
Voted
MABS
2004
Springer
15 years 9 months ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
144
click to vote
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...