8493 search results - page 1452 / 1699 » Implementing a distributed firewall |
145
click to vote
SSDBM
2003
IEEE
15 years 9 months ago
2003
IEEE
String data is ubiquitous, and its management has taken on particular importance in the past few years. Approximate queries are very important on string data especially for more c...
146
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
149
click to vote
SENSYS
2003
ACM
15 years 9 months ago
2003
ACM
Wireless ad-hoc sensor networks have emerged as an interesting and important research area in the last few years. The applications envisioned for such networks require collaborati...
149
click to vote
SENSYS
2003
ACM
15 years 9 months ago
2003
ACM
Event-driven sensor networks operate under an idle or light load and then suddenly become active in response to a detected or monitored event. The transport of event impulses is l...
123
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...