10159 search results - page 236 / 2032 » System Design Validation Using Formal Models |
120
click to vote
FM
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
137
click to vote
NSDI
2004
15 years 4 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
119
click to vote
FGR
2008
IEEE
15 years 4 months ago
2008
IEEE
Data collected through a recent web-based survey show that the perception (i.e. labeling) of a human facial expression by a human observer is a subjective process, which results i...
109
click to vote
ESM
2000
15 years 4 months ago
2000
The framework of this paper is the design of complex communication protocols by simulation, based on formal description techniques (FDT). We propose a general-purpose scalable mod...
145
click to vote
IEEEHPCS
2010
15 years 1 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...