2162 search results - page 5 / 433 » Distributed Computation of Web Queries Using Automata |
104
Voted
CONCUR
2001
Springer
15 years 4 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
101
click to vote
ICSOC
2003
Springer
15 years 4 months ago
2003
Springer
Service-based approaches (such as Web Services and the Open Grid Services Architecture) have gained considerable attention recently for supporting distributed application developme...
106
click to vote
CCS
2007
ACM
15 years 5 months ago
2007
ACM
Human Desoxyribo-Nucleic Acid (DNA) sequences offer a wealth of information that reveal, among others, predisposition to various diseases and paternity relations. The breadth and...
108
click to vote
GPC
2010
Springer
15 years 6 months ago
2010
Springer
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
107
click to vote
CONCUR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We define a language for Web services contracts as a parallelfree fragment of ccs and we study a natural notion of compliance between clients and services in terms of th...