660 search results - page 92 / 132 » Distributed Reactive XML |
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
IJWIN
2006
13 years 8 months ago
2006
We describe a trust-based data management framework enabling mobile devices to access the distributed computation, storage, and sensory resources available in pervasive computing ...
JAIHC
2010
13 years 7 months ago
2010
The significance that ambient intelligence (AmI) has acquired in recent years requires the development of innovative solutions. In this sense, the development of AmI-based systems...
DCOSS
2011
Springer
12 years 8 months ago
2011
Springer
—The need to monitor groups of mobile entities arises in many application contexts. Examples include the study of the social behavior of humans and wildlife, the shepherding of l...
ICDCS
2012
IEEE
11 years 11 months ago
2012
IEEE
—Quickly recovering IP networks from failures is critical to enhancing Internet robustness and availability. Due to their serious impact on network routing, large-scale failures ...