2162 search results - page 231 / 433 » Automated Reasoning on Feature Models |
159
Voted
TPHOL
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
140
click to vote
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...
154
Voted
ECEH
2006
15 years 6 months ago
2006
: Coordination in healthcare networks becomes increasingly important to enable integrated care scenarios, to enhance patient satisfaction and to reduce costs of the treatment proce...
126
Voted
MVA
1994
15 years 6 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...
150
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...