1173 search results - page 67 / 235 » On the Compositionality of Round Abstraction |
165
click to vote
QEST
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
161
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Hierarchical Task-Network (HTN) based planning techniques have been applied to the problem of composing Web Services, especially when described using the OWL-S service on...
171
click to vote
ICWE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Developing service-based interactive applications is time consuming and nontrivial. Annotating web services with additional information about the user interface and behav...
179
click to vote
WETICE
2005
IEEE
15 years 11 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
161
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
With web services emerging as a promising technology for supporting open and dynamic business processes, it is witnessed that standards for business process specification in the c...