1823 search results - page 111 / 365 » Formal specification: a roadmap |
169
click to vote
AAMAS
2004
Springer
15 years 4 months ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
142
Voted
IJAR
2008
15 years 4 months ago
2008
Credal networks are models that extend Bayesian nets to deal with imprecision in probability, and can actually be regarded as sets of Bayesian nets. Credal nets appear to be power...
123
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introd...
117
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
159
click to vote
SEW
2005
IEEE
15 years 10 months ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...