2243 search results - page 104 / 449 » Contracts for Mobile Processes |
137
click to vote
COORDINATION
2007
Springer
15 years 10 months ago
2007
Springer
We investigate, in a process algebraic setting, a new notion of compliance that we call strong service compliance: composed services are strong compliant if their composition is bo...
146
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Utility provisioning, Grid resource management, instant copy kiosks, and network transfers provide an exciting new paradigm for data warehouse functions. Grid technologies are fas...
121
Voted
CIE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
122
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
133
Voted
RE
2001
Springer
15 years 8 months ago
2001
Springer
This paper argues that there are new insights to be gained from a strategic analysis of requirements engineering. The paper is motivated by a simple question: what does it take to...