658 search results - page 53 / 132 » Explicit Local Models: Towards |
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—Delay Tolerant Networks (DTN) are networks of self-organizing wireless nodes, where end-to-end connectivity is intermittent. In these networks, forwarding decisions are generall...
EDBT
2009
ACM
14 years 10 days ago
2009
ACM
Structured data including sets, sequences, trees and graphs, pose significant challenges to fundamental aspects of data management such as efficient storage, indexing, and simila...
ESSLLI
1999
Springer
13 years 12 months ago
1999
Springer
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...
PROCOMET
1998
13 years 9 months ago
1998
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...
HICSS
2011
IEEE
12 years 11 months ago
2011
IEEE
Citizen Energy is a novel, participatory citizen engagement with energy that is designed to extend our relationship with energy beyond existing producerconsumer models towards one...