4586 search results - page 554 / 918 » Computing stable models in parallel |
140
click to vote
PVM
2007
Springer
15 years 11 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
160
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
141
click to vote
GCC
2005
Springer
15 years 10 months ago
2005
Springer
Resource Space Model (RSM) is a semantic model to manage and share heterogeneous resources on the Internet. This paper focuses on the general architecture, physical implementation ...
149
click to vote
ICPPW
2002
IEEE
15 years 10 months ago
2002
IEEE
Incidents such as Solar Sunrise and Nimda demonstrate the need to expressively model distributed and complex network attacks. To protect information systems, system administrators...
125
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
In recent years, it has become important for researchers, security incident responders and educators to share network logs, and many log anonymization tools and techniques have be...