2521 search results - page 122 / 505 » Semantic Component Composition |
TES
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. With the emergence of Web service technologies, it has become possible to use high level megaprogramming models and visual tools to easily build distributed systems using...
FASE
2011
Springer
13 years 20 days ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
CBSE
2010
Springer
14 years 15 days ago
2010
Springer
Design patterns are typically defined informally, albeit in a standard format, and have to be programmed by the software designer into each new application. Thus although patterns ...
AIPS
2006
13 years 10 months ago
2006
While a lot of work has been done on the problem of the automated generation of plans that compose web services, the problem of monitoring their execution has still to be investig...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we introduce GMD, an abstract but rich data model for representing multidimensional information, equipped with logicbased semantics and seamlessly integrated with a f...