9974 search results - page 210 / 1995 » Software Interconnection Models |
166
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
146
click to vote
APSEC
2005
IEEE
16 years 3 days ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
178
click to vote
ISSRE
2005
IEEE
16 years 2 days ago
2005
IEEE
The difficulty of managing variations and their potential interactions across an entire product line currently hinders safety analysis in safety-critical, software product lines. ...
166
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
161
click to vote
IASTEDSEA
2004
15 years 7 months ago
2004
This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. There are two kinds of Web services: atomic services ...