2875 search results - page 408 / 575 » Model checking agentspeak |
159
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
148
click to vote
EMSOFT
2011
Springer
14 years 2 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
143
click to vote
DLOG
2003
15 years 4 months ago
2003
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
145
click to vote
JUCS
2010
14 years 9 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
129
click to vote
SOFSEM
2007
Springer
15 years 9 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...