7430 search results - page 511 / 1486 » Programming Applications in CIFF |
162
click to vote
NDSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Application-level protocol analyzers are important components in tools such as intrusion detection systems, firewalls, and network monitors. Currently, protocol analyzers are wri...
204
click to vote
INFOCOM
2005
IEEE
16 years 17 days ago
2005
IEEE
Abstract— Motivated by applications to sensor, peer-topeer and ad hoc networks, we study distributed asynchronous algorithms, also known as gossip algorithms, for computation and...
176
click to vote
SAC
2005
ACM
16 years 16 days ago
2005
ACM
The tuple space model inspired by Linda has recently been rediscovered by distributed middleware. Moreover, some researchers also applied it in the challenging scenarios involving...
166
click to vote
SIGADA
2005
Springer
16 years 14 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
200
click to vote
ICAIL
2003
ACM
16 years 7 days ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...