1463 search results - page 229 / 293 » Model Checking Implicit-Invocation Systems |
ICSE
2004
IEEE-ACM
16 years 1 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
127
click to vote
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
125
click to vote
TLDI
2009
ACM
15 years 10 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
105
click to vote
EWSA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
121
click to vote
MMM
2010
Springer
15 years 3 months ago
2010
Springer
: Networks and distributed computing systems are becoming increasingly important and at the same time, more and more critical to the world of Information Technology. This rash spre...