10038 search results - page 606 / 2008 » Model Checking for Managers |
177
Voted
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
This work presents a new approach to solve the location management problem by using the location areas approach. A combination of a genetic algorithm and the Hopfield neural netwo...
206
click to vote
ANSS
2005
IEEE
16 years 27 days ago
2005
IEEE
Although the grid allows the researcher to tap a vast amount of resources, the complexity involved in utilizing this power can make it unwieldy and time-consuming. The Grid Interf...
166
click to vote
ICDCSW
2005
IEEE
16 years 26 days ago
2005
IEEE
A powerful strategy in intrusion detection is the separation of surveillance mechanisms from a site’s policy for processing observed events. The Bro intrusion detection system h...
182
click to vote
ISPASS
2005
IEEE
16 years 26 days ago
2005
IEEE
We have previously presented Qsilver, a flexible simulation system for graphics architectures. In this paper we describe our extensions to this system, which we use— instrument...
184
click to vote
EGC
2005
Springer
16 years 24 days ago
2005
Springer
In this paper we study a fault tolerant model for Grid environments based on the task replication concept. The basic idea is to produce and submit to the Grid multiple replicas of ...