6768 search results - page 1124 / 1354 » Developing Applications Using Model-Driven Design Environmen... |
144
click to vote
HPDC
2008
IEEE
15 years 10 months ago
2008
IEEE
A lease is a token which grants its owner exclusive access to a resource for a defined span of time. In order to be able to tolerate failures, leases need to be coordinated by di...
170
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
—Recently, network localization systems that are based on inter-node ranges have received significant attention. Geographic routing has been considered an application which can u...
139
Voted
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— A vision based object recognition subsystem on knowledge-based humanoid robot system is presented. Humanoid robot system for real world service application must integrate an ob...
156
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
136
click to vote
ICDCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Distributed stream processing systems offer a highly scalable and dynamically configurable platform for time-critical applications ranging from real-time, exploratory ...