1809 search results - page 88 / 362 » A Formal Specification of dMARS |
HASE
2007
IEEE
14 years 25 days ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
CHARME
2003
Springer
14 years 18 days ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
VL
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification...
EPEW
2008
Springer
13 years 10 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...
IJAOSE
2008
13 years 9 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...