107 search results - page 18 / 22 » Tactics for Hierarchical Proof |
DCOSS
2007
Springer
14 years 1 months ago
2007
Springer
In self-organizing networks of battery-powered wireless sensors that can sense, process, and communicate, energy is the most crucial and scarce resource. However, since sensor netw...
ICTCS
2003
Springer
14 years 21 days ago
2003
Springer
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...
FMCO
2007
Springer
14 years 1 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— Direct physical human-robot interaction has become a central part in the research field of robotics today. To use the advantages of the potential for humans and robots...
ISCIS
2003
Springer
14 years 20 days ago
2003
Springer
In this paper, we describe a secure group communication protocol for a fault-tolerant synchronous ring. Our protocol, named Secure Synchronous Ring Protocol (SSRP), integrates a se...