1432 search results - page 257 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
ISLPED
2004
ACM
15 years 2 months ago
2004
ACM
Mobile, battery-powered devices such as personal digital assistants and web-enabled mobile phones have successfully emerged as new access points to the world’s digital infrastru...
TSE
1998
14 years 9 months ago
1998
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...
GRID
2007
Springer
14 years 9 months ago
2007
Springer
The GEMSS project has developed a service-oriented Grid that supports the provision of medical simulation services by service providers to clients such as hospitals. We outline the...
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
100
click to vote
IT
2008
14 years 9 months ago
2008
provides a powerful abstraction basically allowing to perceiving all compute resources as entities that can be dynamically discovered and composed. These entities are called servic...