2243 search results - page 25 / 449 » Contracts for Mobile Processes |
101
Voted
WSFM
2007
Springer
15 years 8 months ago
2007
Springer
Service orientation is a means for integrating across diverse systems. Each resource, whether an application, system, or trading partner, can be accessed as a service. The resultin...
122
click to vote
FSEN
2009
Springer
15 years 5 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
142
click to vote
MA
2000
Springer
15 years 5 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
192
click to vote
WMCSA
2000
IEEE
15 years 6 months ago
2000
IEEE
Mobile systems operate in a resource-scarce environment and thus must adapt to external conditions; all layers must make cost-based decisions about what mode of operation to use i...
117
click to vote
PDSE
2000
15 years 3 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...