597 search results - page 4 / 120 » E-Process Design and Assurance Using Model Checking |
ICC
2008
IEEE
15 years 4 months ago
2008
IEEE
—The paper presents an analytical modular model of a DiffServ network supporting Assured Forwarding PHB. Individual DiffServ network elements such as meter/markers and droppers a...
100
click to vote
QEST
2010
IEEE
14 years 8 months ago
2010
IEEE
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
101
click to vote
EMSOFT
2006
Springer
15 years 18 hour ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
DSN
2004
IEEE
15 years 1 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...