2205 search results - page 155 / 441 » Mutation Operators for Specifications |
AI
2010
Springer
13 years 9 months ago
2010
Springer
In this paper, a fairly general framework for reasoning from inconsistent propositional bases is defined. Variable forgetting is used as a basic operation for weakening pieces of ...
ENTCS
2008
13 years 9 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
ENTCS
2006
13 years 9 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
ACTA
2005
13 years 9 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
IPMU
2010
Springer
13 years 8 months ago
2010
Springer
This paper deals with color matching in a wood quality control problem. The main difficulty consists in the recognition of gradual color in an industrial context. The wood, which i...