2065 search results - page 255 / 413 » Using Architectural Models at Runtime: Research Challenges |
146
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
165
click to vote
INFOCOM
2012
IEEE
13 years 7 months ago
2012
IEEE
Abstract—The prospect of new biological and industrial applications that require communication in micro-scale, encourages research on the design of bio-compatible communication n...
135
click to vote
ANSS
2000
IEEE
15 years 9 months ago
2000
IEEE
Simulation is the main tool for studying networking protocols before deploying them in a wide scale, or for understanding how they are expected to behave under various conditions....
131
click to vote
CSCW
1996
ACM
15 years 9 months ago
1996
ACM
Many collaborative and communicative environments use notions of "space" and spatial organisation to facilitate and structure interaction. We argue that a focus on spati...
165
click to vote
ICPP
1995
IEEE
15 years 8 months ago
1995
IEEE
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...