2514 search results - page 392 / 503 » The use of industrial-strength formal methods |
191
click to vote
ATVA
2007
Springer
16 years 16 days ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
153
click to vote
ACMACE
2005
ACM
15 years 12 months ago
2005
ACM
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...
191
click to vote
KCAP
2005
ACM
15 years 12 months ago
2005
ACM
The paper reports on an exploratory case study where an organizational learning methodology was used to support knowledge sharing in a medium-sized distributed software developmen...
172
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
150
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
One of the most important issues to deal with in peerto-peer networks is how to disseminate information. In this paper, we use a completely new approach to solving the information...