4036 search results - page 308 / 808 » Formal Methods |
168
click to vote
ICCS
2007
Springer
16 years 25 days ago
2007
Springer
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...
158
click to vote
ENC
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
172
Voted
ECAL
2001
Springer
15 years 11 months ago
2001
Springer
In this paper a formal approach to construction of a similarity measure for complex creatures is presented. The simulation model is described, and a Framsticks agent is expressed i...
203
click to vote
ECOOP
1993
Springer
15 years 10 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
176
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...