12774 search results - page 199 / 2555 » A Framework for Proof Systems |
124
click to vote
ICIW
2007
IEEE
15 years 11 months ago
2007
IEEE
Ensuring dependability and security of Peer-toPeer (P2P) systems is an intricate task due to the autonomous and volatile nature of peers and the decentralization that characterize...
155
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
Component-based enterprise systems often suffer from performance issues as a result of poor system design. In this paper, we propose a framework to automatically detect, assess an...
158
Voted
GI
2007
Springer
15 years 11 months ago
2007
Springer
: Agent-based simulation can be viewed as methodical advancement and generalization of microscopic modelling styles in object-oriented and discrete event simulation well suited for...
139
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
Classification accuracy in intrusion detection systems (IDSs) deals with such fundamental problems as how to compare two or more IDSs, how to evaluate the performance of an IDS, ...
161
Voted
COMPSAC
1995
IEEE
15 years 8 months ago
1995
IEEE
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...