10916 search results - page 374 / 2184 » On Constructive Connectives and Systems |
234
click to vote
WORDS
2005
IEEE
16 years 1 months ago
2005
IEEE
Software metrics can be used to objectively quantify the quality of software components and systems, alleviating quality and risk concerns and raising assurance in component-based...
183
click to vote
ISPW
1994
IEEE
15 years 11 months ago
1994
IEEE
I consider the problems of process system architecture in the context of the Perry-Wolf model of software architecture: process elements are executed in process systems by both ma...
189
click to vote
CCR
2004
15 years 7 months ago
2004
Abstract-- This paper describes a system for automated generation of attack signatures for network intrusion detection systems. Our system applies pattern-matching techniques and p...
225
click to vote
MOBIHOC
2008
ACM
16 years 7 months ago
2008
ACM
Constructing sensor barriers to detect intruders crossing a randomly-deployed sensor network is an important problem. Early results have shown how to construct sensor barriers to ...
262
click to vote
EUROCRYPT
2010
Springer
16 years 15 days ago
2010
Springer
This paper revisits the construction of Universal One-Way Hash Functions (UOWHFs) from any one-way function due to Rompel (STOC 1990). We give a simpler construction of UOWHFs, whi...