748 search results - page 82 / 150 » Time and Probability in Process Algebra |
117
click to vote
ISSTA
2009
ACM
15 years 5 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
86
Voted
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
122
Voted
SIGMETRICS
2000
ACM
15 years 4 months ago
2000
ACM
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...
100
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. A well-known difficulty with solving Constraint Satisfaction Problems (CSPs) is that, while one formulation of a CSP may enable a solver to solve it quickly, a different ...
120
Voted
MOBICOM
2005
ACM
15 years 6 months ago
2005
ACM
In old times, castles were surrounded by moats (deep trenches filled with water, and even alligators) to thwart or discourage intrusion attempts. One can now replace such barrier...