2488 search results - page 322 / 498 » An improvement in formal verification |
115
click to vote
UML
2001
Springer
15 years 6 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
138
click to vote
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
114
Voted
ARGMAS
2007
Springer
15 years 5 months ago
2007
Springer
Interest-based negotiation (IBN) is a form of negotiation in which agents exchange information about their underlying goals, with a view to improving the likelihood and quality of ...
102
click to vote
FINTAL
2006
15 years 5 months ago
2006
We present a regular approximation of Link Grammar, a dependency-type formalism with context-free expressive power, as a first step toward a finite-state joint inference system. Th...
118
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...