367 search results - page 60 / 74 » Executable Specifications for Real-Time Distributed Systems |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we present the Electronic Institutions Development Environment (EIDE) to support the engineering of multiagent systems as Electronic Institutions. An electronic inst...
WSC
2007
13 years 10 months ago
2007
Unambiguous definition of the information exchanged between distributed systems is a necessary requirement for simulation system interoperability. The ontological spectrum categor...
WWW
2003
ACM
14 years 26 days ago
2003
ACM
An important factor in the successful deployment of federated web-services-based business activities will be the ability to guarantee reliable distributed operation and execution....
HPDC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents novel service-based Grid data management middleware that leverages standards defined by WSRF specifications to create and manage dynamic Grid file system sessi...
SIGSOFT
2002
ACM
14 years 8 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...