10159 search results - page 152 / 2032 » System Design Validation Using Formal Models |
139
click to vote
IANDC
2011
14 years 9 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
144
Voted
BIRTHDAY
2009
Springer
15 years 6 days ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
116
Voted
ICSOC
2007
Springer
15 years 8 months ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
126
Voted
RP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
109
click to vote
ISARCS
2010
15 years 4 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...