4919 search results - page 823 / 984 » A Process-Ontological Model for Software Engineering |
FASE
2009
Springer
15 years 2 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
ICFEM
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
108
Voted
ARCS
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
91
Voted
COMSWARE
2006
IEEE
15 years 1 months ago
2006
IEEE
The performance of the protocol stack implementation of an operating system can greatly impact the performance of networked applications that run on it. In this paper, we present a...