1770 search results - page 314 / 354 » Writing requirements in computer security |
WWW
2005
ACM
14 years 8 months ago
2005
ACM
We consider the problem of finding duplicates in data streams. Duplicate detection in data streams is utilized in various applications including fraud detection. We develop a solu...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
WMCSA
2008
IEEE
14 years 2 months ago
2008
IEEE
Cost is one of the key challenges facing the deployment of wireless networks. Though 802.11-based networks have shown that costly, licensed spectrum is not always necessary, the c...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
—The growth of the Internet in the last years has been pushed by increasing requirements in terms of capacity, security and reliability. Moreover, improvements in multimedia appl...