1894 search results - page 111 / 379 » A service-oriented approach for integrating multiagent syste... |
114
click to vote
CCS
2000
ACM
15 years 6 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
124
click to vote
DFG
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
OSDI
2002
ACM
16 years 2 months ago
2002
ACM
Three experimental environments traditionally support network and distributed systems research: network emulators, network simulators, and live networks. The continued use of mult...
103
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Virtual Computer Corporation has combined the latest reconfigurable component technology with a number of advanced software tools in one easy to use `system approach' to digi...