2422 search results - page 242 / 485 » Composition of Services with Constraints |
210
click to vote
MOBIDE
2006
ACM
16 years 1 months ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
203
click to vote
ISORC
2005
IEEE
16 years 26 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
203
click to vote
SC
2003
ACM
16 years 16 days ago
2003
ACM
A Grid Information Service (GIS) stores information about the resources of a distributed computing environment and answers questions about it. We are developing RGIS, a GIS system...
236
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
181
click to vote
JSAC
2007
15 years 7 months ago
2007
— In this paper, the prediction of received power in the out-of-zone of a Dedicated Short Range Communications (DSRC) system operating inside a typical arched highway tunnel is d...