14190 search results - page 2638 / 2838 » Abstractions for hybrid systems |
208
click to vote
ESORICS
2005
Springer
16 years 23 days ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
211
click to vote
HPCC
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. As grid sizes increase, the need for self-organization and dynamic reconfigurations is becoming more and more important, and therefore the convergence of grid computing ...
211
click to vote
ICLP
2005
Springer
16 years 23 days ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
233
click to vote
ICN
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by prov...
190
click to vote
LCPC
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Many embedded systems use single-chip microcontrollers which have no on-chip RAM. In such a system, the processor registers must hold all live data values. Nanocontroller...