307 search results - page 36 / 62 » Towards Integrated Verification of Timed Transition Models |
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
POPL
2000
ACM
14 years 6 hour ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
BPM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In order to support business processes effectively, their implementation by a process management systems (PMS) must be as close to the real world’s processes as possib...
CONEXT
2007
ACM
13 years 10 months ago
2007
ACM
Wireless Mesh Networks (WMNs) are based on packet forwarding and therefore require efficient multi-hop protocols for their deployment. Toward this objective, we study the flow o...
ICCS
2001
Springer
14 years 27 days ago
2001
Springer
Towards the realization of a global coupled air/ocean/ice predictive system for Navy needs, two high resolution modeling efforts are underway whose goals are the development and up...