1490 search results - page 199 / 298 » Interactive semantics |
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
GRID
2007
Springer
14 years 4 months ago
2007
Springer
— Replica exchange is a powerful sampling algorithm and can be effectively used for applications such as simulating the structure, function, folding, and dynamics of proteins and...
ACMDIS
2000
ACM
14 years 2 months ago
2000
ACM
The successful creation of telepresence and virtual environments requires a change in design paradigm. We must move away from attempts to recreate reality in its entirety toward t...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...