9145 search results - page 131 / 1829 » Description Logic Systems |
110
Voted
ECSA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
110
Voted
SIGIR
2004
ACM
15 years 6 months ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
101
Voted
ECSA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The importance of modelling the dynamic architectural characteristics of software systems has long been recognised. However, the nature of the dynamic architectural chara...
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
103
click to vote
WWW
2006
ACM
15 years 6 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...