1926 search results - page 202 / 386 » Modeling and Model Checking Software Product Lines |
167
click to vote
CG
2007
Springer
15 years 4 months ago
2007
Springer
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...
148
click to vote
AC
2002
Springer
15 years 4 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
153
click to vote
EDOC
2003
IEEE
15 years 10 months ago
2003
IEEE
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
155
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
167
click to vote
IEEEARES
2009
IEEE
15 years 2 months ago
2009
IEEE
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...