2409 search results - page 35 / 482 » Logical systems for structured specifications |
149
click to vote
SLOGICA
1998
15 years 3 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
141
click to vote
TPHOL
1998
IEEE
15 years 7 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
97
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
164
click to vote
VMV
2001
15 years 4 months ago
2001
We have assembled a preliminary environment for simulating tasks that are performed in colonoscopy to provide a professional learning experience. Different commercial endoscopy si...
197
click to vote
VLDB
2001
ACM
16 years 3 months ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...