4914 search results - page 684 / 983 » Arbitration of a help system |
205
click to vote
PODC
1999
ACM
15 years 11 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
163
click to vote
EWCBR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Case retrieval is an important problem in several commercially signi cant application areas, such as industrial con guration and manufacturing problems. In this paper we ...
187
click to vote
SOUPS
2010
ACM
15 years 10 months ago
2010
ACM
Effective privacy management requires that mobile systems‟ users be able to make informed privacy decisions as their experience and knowledge of a system progresses. Prior work ...
176
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
175
Voted
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...