1546 search results - page 195 / 310 » Context-Aware Computing with Sound |
172
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
174
click to vote
DIS
2007
Springer
16 years 16 days ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
155
click to vote
RAID
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. In this work we present a NIDS cluster as a scalable solution for realizing high-performance, stateful network intrusion detection on commodity hardware. The design addre...
201
click to vote
SOCO
2007
Springer
16 years 14 days ago
2007
Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
160
click to vote
ISPDC
2006
IEEE
16 years 11 days ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...