307 search results - page 36 / 62 » Towards Integrated Verification of Timed Transition Models |
TACAS
2009
Springer
15 years 6 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
15 years 3 months 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...
116
click to vote
BPM
2005
Springer
15 years 5 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...
109
click to vote
CONEXT
2007
ACM
15 years 1 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...
116
click to vote
ICCS
2001
Springer
15 years 4 months 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...