1663 search results - page 226 / 333 » Compositional Service Trees |
125
click to vote
MOBIDE
2006
ACM
15 years 8 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...
119
Voted
ISORC
2005
IEEE
15 years 8 months 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...
117
click to vote
SC
2003
ACM
15 years 7 months 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...
134
click to vote
GRID
2003
Springer
15 years 7 months ago
2003
Springer
We are developing a grid information service, RGIS, that is based on the relational data model. RGIS supports complex queries written in SQL that search for compositions (using jo...
158
Voted
ASM
2008
ASM
15 years 4 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...