3706 search results - page 272 / 742 » System Description: E-KRHyper |
123
Voted
ICALP
1994
Springer
15 years 5 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
110
Voted
ATC
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Pervasive computing applications must be sufficiently autonomous to adapt their behaviour to changes in computing resources and user requirements. This capability is know...
98
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
IPR (Intellectual Property Rights) Management is a complex domain. The IPR field is structured by evolving regulations, practises, business models,... Therefore, DRMS (Digital Righ...
111
Voted
FOIKS
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
99
Voted
ISCAS
1995
IEEE
15 years 4 months ago
1995
IEEE
Embryological electronics or “Embryonics” is a new paradigm for developing digital systems of any complexity, endowed of universal computation, self-repair and self-reproducti...