557 search results - page 54 / 112 » Calculi for Service-Oriented Computing |
ICLP
1997
Springer
14 years 1 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
SKG
2005
IEEE
14 years 2 months ago
2005
IEEE
The conventional computing Grid has developed a service oriented computing architecture with a superlocal resource management and scheduling strategy. This architecture is limited...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
IEEESCC
2006
IEEE
14 years 3 months ago
2006
IEEE
The expanding gap between microprocessor and disk performance has initiated new techniques of providing memory as a service in high-end computing (HEC). Although the processor and...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
Design templates that involve discovery, analysis, and integration of information resources commonly occur in many scientific research projects. In this paper we present examples o...