3161 search results - page 419 / 633 » Documenting framework behavior |
162
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...
162
click to vote
JIT
1999
Springer
15 years 10 months ago
1999
Springer
The term “Java” is used to denote two different concepts: the language itself and the related execution environment, the Java Virtual Machine (JVM), which executes byte code in...
155
click to vote
ROBOCUP
1999
Springer
15 years 10 months ago
1999
Springer
A three-level functional architecture for a team of mobile robots is described in detail, including the de nition of the role assigned to each level, the main concepts involved, a...
149
click to vote
ITC
1998
IEEE
15 years 10 months ago
1998
IEEE
Previously-proposed strategies for VLSI fault diagnosis have su ered from a variety of self-imposed limitations. Some techniques are limited to a speci c fault model, and many wil...
151
click to vote
ISLPED
1998
ACM
15 years 10 months ago
1998
ACM
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...