13969 search results - page 2530 / 2794 » Child computer interaction |
197
click to vote
AP2PC
2003
Springer
15 years 12 months ago
2003
Springer
Peer-to-Peer (P2P) technologies promise to provide efficient distribution, sharing and management of resources, such as storage, processing, routing and other sundry service capabi...
182
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
192
click to vote
CMSB
2003
Springer
15 years 12 months ago
2003
Springer
Biochemical pathways such as metabolic, regulatory or signal tranduction pathways can be viewed as interconnected processes forming an intricate network of functional and physical...
212
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
195
click to vote
DBISP2P
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We are witnessing a dramatic increase in the use of datacentric distributed systems such as global grid infrastructures, sensor networks, network monitoring, and various ...