1136 search results - page 37 / 228 » A Prototype of an Active Form System |
QEST
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Bibliography—the collection, description, and arrangement of information items—is a vibrant activity and a popular form of expression on the internet. Yet, fashionable forms o...
VR
2000
IEEE
14 years 1 months ago
2000
IEEE
In the paper, we describe a series of stages in the development of a new virtual locomotion device designed to enhance remote, interpersonal communications. The latest system, cal...
ICDCSW
2002
IEEE
14 years 2 months ago
2002
IEEE
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...