1116 search results - page 219 / 224 » Applying Predicate Abstraction to Abstract State Machines |
INFOCOM
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract—The error patterns of a wireless digital communication channel can be described by looking at consecutively correct or erroneous bits (runs and bursts) and at the distri...
104
click to vote
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
We apply the multi-agent system (MAS) platform to the task of biological network simulation. In this paper, we describe the simulation of signal transduction (ST) networks using t...
114
click to vote
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Traditional Web-based educational systems still have several shortcomings when comparing with a real-life classroom teaching, such as lack of contextual and adaptive support, lack...
MPC
2010
Springer
15 years 3 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
111
click to vote
DIS
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. The Symposium on Computational Discovery of Communicable Knowledge was held from March 24 to 25, 2001, at Stanford University. Fifteen speakers reviewed recent advances i...