5159 search results - page 336 / 1032 » Structural Testing of Executables |
177
click to vote
JLP
2010
15 years 5 months ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
314
click to vote
ICDCN
2011
Springer
14 years 10 months ago
2011
Springer
Distributed processing of real-world graphs is challenging due to their size and the inherent irregular structure of graph computations. We present HIPG, a distributed framework th...
181
click to vote
SIGSOFT
2002
ACM
16 years 8 months ago
2002
ACM
Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the failure. Which variables and values of a program sta...
150
click to vote
ADBIS
2007
Springer
16 years 1 months ago
2007
Springer
Replication is crucial to achieve high availability distributed systems. However, non-determinism introduces consistency problems between replicas. Transactions are very well suite...
185
click to vote
COORDINATION
2007
Springer
16 years 1 months ago
2007
Springer
We investigate, in a process algebraic setting, a new notion of compliance that we call strong service compliance: composed services are strong compliant if their composition is bo...