1894 search results - page 280 / 379 » A service-oriented approach for integrating multiagent syste... |
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
IASTEDSE
2004
14 years 11 months ago
2004
The integration of distributed, data dependent components requires a data synchronisation model. We consider a class of systems where data-dependent components produce data in dis...
FAST
2009
14 years 7 months ago
2009
In this paper we describe Cumulus, a system for efficiently implementing filesystem backups over the Internet. Cumulus is specifically designed under a thin cloud assumption--that...
ICUMT
2009
14 years 7 months ago
2009
The work addresses the problem of coping with a diversity of location tracking techniques available in ubiquitous computing environments. We investigate how this diversity can be e...
106
click to vote
ECRTS
2004
IEEE
15 years 1 months ago
2004
IEEE
A common method for dealing with overload conditions in periodic task systems is to reduce the load by enlarging activation periods. When a periodic task implements a digital cont...