9110 search results - page 432 / 1822 » Formally-Based Design Evaluation |
151
click to vote
IJNSEC
2007
15 years 6 months ago
2007
Intrusion detection is the process of monitoring the events occurring in a computer system or network and analyzing them for signs of intrusions, defined as attempts to compromis...
146
click to vote
TON
2008
15 years 6 months ago
2008
Abstract--We address the problem of highly transient populations in unstructured and loosely-structured peer-to-peer systems. We propose a number of illustrative query-related stra...
163
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
In this paper, we first describe a formative empirical study to inform the design of CSCW tools to support idea finding in co-located groups. Groups of students worked on creative...
177
click to vote
TJS
2002
15 years 6 months ago
2002
: With the ever-increasing demands on server applications, reliability is of paramount importance. Often these services are implemented using a distributed server cluster architect...
217
click to vote
CPAIOR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper reconsiders the deployment of synchronous optical networks (SONET), an optimization problem naturally expressed in terms of set variables. Earlier approaches, ...