11168 search results - page 2083 / 2234 » Abstract State Processes |
IFIPTCS
2010
13 years 8 months ago
2010
Abstract. In the field of Security, process equivalences have been used to characterize various information-hiding properties (for instance secrecy, anonymity and non-interference)...
IMCSIT
2010
13 years 8 months ago
2010
Abstract--The paper presents an architecture and implementation that allows distributed execution of workflow applications in BeesyCluster using agents. BeesyCluster is a middlewar...
INFOCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Existing routing algorithms for Delay Tolerant Networks (DTNs) assume that nodes are willing to forward packets for others. In the real world, however, most people are so...
KES
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In exploratory learning environments, learners can use different strategies to solve a problem. To the designer or teacher, however, not all these strategies are known in...
MASS
2010
13 years 8 months ago
2010
Abstract--Mapping and localization for indoor robotic navigation is a well-studied field. However, existing work largely relies on long range perceptive sensors in addition to the ...