3742 search results - page 508 / 749 » On the Use of Formal Techniques for Validation |
163
click to vote
ICPP
2007
IEEE
16 years 27 days ago
2007
IEEE
Compute clusters are consuming more power at higher densities than ever before. This results in increased thermal dissipation, the need for powerful cooling systems, and ultimatel...
198
click to vote
ROBOCUP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
208
click to vote
IDEAS
2005
IEEE
16 years 5 days ago
2005
IEEE
Testing of database applications is of great importance. A significant issue in database application testing consists in the availability of representative data. In this paper we...
203
click to vote
AP2PC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The Agent-Community-based Peer-to-Peer Information Retrieval (ACP2P) method[1],[2] uses agent communities to manage and look up information of interest tousers. An agent ...
196
click to vote
COOPIS
2003
IEEE
15 years 12 months ago
2003
IEEE
The use of semantic knowledge in its various forms has become an important aspect in managing data in database and information systems. In the form of integrity constraints, it ha...