12023 search results - page 183 / 2405 » The K-Rep System Architecture |
147
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the development of the PALS system, an implementation of Prolog that efficiently exploits or-parallelism on share-nothing platforms. PALS makes use of a novel ...
170
click to vote
COMPSAC
2005
IEEE
16 years 4 days ago
2005
IEEE
This research aims at developing an approach for architecting and communicating software systems in the context of wireless sensor networks. In particular, it focuses on developin...
195
click to vote
ADAEUROPE
2005
Springer
16 years 2 days ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...