1796 search results - page 239 / 360 » An Approach to Compositional Model Checking |
SOSE
2006
IEEE
14 years 2 months ago
2006
IEEE
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
FORTE
2004
13 years 9 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
CORR
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
COCOON
2003
Springer
14 years 1 months ago
2003
Springer
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
FTDCS
1999
IEEE
14 years 16 days ago
1999
IEEE
The process of component integrationfor distributed application sofrware development requires identifying the candidate components and performing compatibility checks based on the...