6608 search results - page 1010 / 1322 » On the Completeness of Model Checking |
162
Voted
VG
2003
15 years 8 months ago
2003
In this paper, we propose a novel shape and physical attribute handling system Volume-CAD designated for practical and robust use in the manufacturing process of various industrie...
150
click to vote
WSC
1998
15 years 8 months ago
1998
The IBM Supply Chain Simulator (SCS) is a software tool that can help a company or a group of companies make strategic business decisions about the design and operation of its sup...
174
click to vote
AIPS
2009
15 years 7 months ago
2009
Finite-state and memoryless controllers are simple action selection mechanisms widely used in domains such as videogames and mobile robotics. Memoryless controllers stand for func...
177
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
In a desktop grid model, the job (computational task) is submitted for execution in the resource only when the resource is idle. There is no guarantee that the job which has starte...
182
click to vote
AHSWN
2010
15 years 6 months ago
2010
The specific challenges of multihop wireles networks lead to a strong research effort on efficient protocols design where the offered capacity is a key objective. More specifically...