489 search results - page 47 / 98 » On the Execution of ODP Computational Specifications |
EDOC
2002
IEEE
14 years 1 months ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Resource management for dynamic, distributed real-time systems requires handling of unknown arrival rates for data and events; additional desiderata include: accommodation of heter...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
MFCS
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
CONCUR
1990
Springer
14 years 25 days ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...