6608 search results - page 909 / 1322 » On the Completeness of Model Checking |
175
click to vote
HOLOMAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Holonic multiagent systems (hmas) offers a promising software engineering approach for developing applications in complex domains characterized by a hierarchical structu...
192
click to vote
IROS
2006
IEEE
16 years 27 days ago
2006
IEEE
— We present a robust strategy for docking a mobile robot in close proximity with an upright surface using optical flow field divergence. Unlike previous approaches, we achieve...
191
click to vote
ISPASS
2006
IEEE
16 years 27 days ago
2006
IEEE
SimPoint is a technique used to pick what parts of the program’s execution to simulate in order to have a complete picture of execution. SimPoint uses data clustering algorithms...
148
click to vote
IAT
2005
IEEE
16 years 15 days ago
2005
IEEE
Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individua...
185
click to vote
WECWIS
2005
IEEE
16 years 14 days ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...