597 search results - page 57 / 120 » E-Process Design and Assurance Using Model Checking |
116
click to vote
FDL
2008
IEEE
15 years 2 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
135
click to vote
DALT
2004
Springer
15 years 6 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
121
Voted
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
264
Voted
SPIN
2012
Springer
13 years 5 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
111
click to vote
JSS
2010
15 years 29 days ago
2010
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...