6608 search results - page 1161 / 1322 » On the Completeness of Model Checking |
106
click to vote
STACS
2005
Springer
15 years 10 months ago
2005
Springer
ded abstract of this article is published in the proceedings of STACS’05, LNCS 3404, Springer Verlag. A relational structure is a core, if all its endomorphisms are embeddings. T...
125
click to vote
ACMSE
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents a distributed multi-robot system designed to solve a team-based search and destroy task. The project was divided into two phases. The initial phase was used to...
168
click to vote
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
— We examine an abstract formulation of BIST diagnosis in digital logic systems. The BIST diagnosis problem has applications that include identification of erroneous test vector...
125
click to vote
ASSETS
2004
ACM
15 years 9 months ago
2004
ACM
Movement, or mobility, is key to the accessibility, design, and usability of many hypermedia resources (websites); and key to good mobility is context and preview by probing. This...
145
click to vote
SACMAT
2004
ACM
15 years 9 months ago
2004
ACM
Emerging trust and risk management systems provide a framework for principals to determine whether they will exchange resources, without requiring a complete definition of their ...