1426 search results - page 61 / 286 » Specification of nonmonotonic reasoning |
141
Voted
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
153
Voted
DSN
2008
IEEE
15 years 6 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
125
Voted
APSEC
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
123
click to vote
IJCAI
2001
15 years 6 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
140
click to vote
FAC
2008
15 years 4 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...