4586 search results - page 594 / 918 » Computing stable models in parallel |
137
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
121
Voted
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
106
click to vote
GCC
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a discussion on Grids merging with the economy. Until now no clear notion and categorization exist in this area. Problem formulations of “economy grid” proj...
111
click to vote
WSC
2008
15 years 7 months ago
2008
In this paper, we describe an objective-based Data Farming approach for red teaming called Automated Red Teaming (ART). The main idea is to develop an ART framework using Evolutio...
143
click to vote
CCGRID
2006
IEEE
15 years 11 months ago
2006
IEEE
Making effective use of computational Grids requires scheduling Grid applications onto resources that best match them. Resource-related state (e.g., load, availability, and locati...