8917 search results - page 1385 / 1784 » Abstraction in Algorithm Animation |
142
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
147
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Service availability is one of the most closely scrutinized metrics in offering network services. It is important to costeffectively provision a managed and differentia...
135
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
160
click to vote
ICSOC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...
148
Voted
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...