Sciweavers

1965 search results - page 30 / 393
» On the analysis of interacting pushdown systems
Sort
View
PVLDB
2008
98views more  PVLDB 2008»
13 years 8 months ago
Performance profiling with EndoScope, an acquisitional software monitoring framework
We propose EndoScope, a software monitoring framework that allows users to pose declarative queries that monitor the state and performance of running programs. Unlike most existin...
Alvin Cheung, Samuel Madden
SCIA
2005
Springer
224views Image Analysis» more  SCIA 2005»
14 years 2 months ago
Interactive 3-D Modeling System Using a Hand-Held Video Camera
Recently, a number of methods for 3-D modeling from images have been developed. However, the accuracy of a reconstructed model depends on camera positions and postures with which t...
Kenji Fudono, Tomokazu Sato, Naokazu Yokoya
ARTS
1999
Springer
14 years 29 days ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano
CHI
2006
ACM
14 years 9 months ago
Getting a grip on tangible interaction: a framework on physical space and social interaction
Our current understanding of human interaction with hybrid or augmented environments is very limited. Here we focus on `tangible interaction', denoting systems that rely on e...
Eva Hornecker, Jacob Buur
RE
2010
Springer
13 years 3 months ago
From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...
Leonid Kof