1286 search results - page 5 / 258 » A Framework for Prototyping and Reasoning about Distributed ... |
RAID
2004
Springer
14 years 22 days ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
COREGRID
2007
Springer
14 years 1 months ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
TWC
2008
13 years 7 months ago
2008
In this paper we study the performance of Filtered Multitone (FMT) modulation systems in time-frequency selective fading channels. FMT generalizes the OFDM scheme through the deplo...
CSREASAM
2003
13 years 8 months ago
2003
Security is an important element of any system design. Entities supported by a system need to securely interact with each other. The problem gets even more complex in the context ...
IAT
2009
IEEE
13 years 10 months ago
2009
IEEE
—We present a first effort to integrate NLP with ASP for autonomous agents, especially service robots, communicating with humans. We implemented a prototype system and tested it...