12774 search results - page 285 / 2555 » A Framework for Proof Systems |
232
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
135
click to vote
TCS
2010
15 years 5 months ago
2010
We give a new construction of strongly aperiodic set of tiles in H2 , exhibiting a kind of hierarchical structure, simplifying the central framework of Margenstern’s proof that t...
180
click to vote
IWPC
2006
IEEE
16 years 21 days ago
2006
IEEE
Program componentization has been proved to be an effective way to increase the speed and cost-effectiveness of reusing, maintaining, and understanding existing software systems. ...
233
click to vote
IAJIT
2010
15 years 5 months ago
2010
: Intrusion detection system is one of the possible solutions to timely detect the intrusions and alarm for appropriate action. So far many intrusion detection systems have been pr...
134
Voted
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
