2607 search results - page 260 / 522 » On the Architecture of System Verification Environments |
178
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Performance analysis of real applications in clusters and GRID like environments is essential to fully exploit the performance of new architectures. The key problem is the deepenin...
190
click to vote
ATAL
1999
Springer
15 years 11 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...
209
click to vote
3DIM
2003
IEEE
15 years 10 months ago
2003
IEEE
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
178
click to vote
IJVR
2008
15 years 6 months ago
2008
This paper intends to demonstrate the importance of a Linguistic approach for understanding the complexity implied in the simulations of the Built Environment. Indeed, it will be a...
170
click to vote
SEUS
2005
IEEE
16 years 6 days ago
2005
IEEE
Nomadic computing environments are composed of heterogeneous mobile computing domains. Unfortunately, the service discovery platforms suitable for each domain are scarcely interop...