1392 search results - page 135 / 279 » A Calculus for Dynamic Linking |
166
Voted
JUCS
2008
15 years 4 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
163
Voted
MCS
2008
Springer
15 years 4 months ago
2008
Springer
A stochastic numerical scheme for an extended immersed boundary method which incorporates thermal fluctuations for the simulation of microscopic biological systems consisting of fl...
391
click to vote
VR
2012
IEEE
14 years 14 days ago
2012
IEEE
This paper presents Virtual Reality Mechanism Design Studio (VRMDS), an intuitive virtual environment for supporting the interactive design and simulation of mechanisms. The studio...
127
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
—Emergent behavior is an essential feature in multi-agent systems and plays a significant role in the applications of agent technology. Because of the huge gap between individual...
127
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...