1965 search results - page 30 / 393 » On the analysis of interacting pushdown systems |
193
click to vote
PVLDB
2008
15 years 5 months ago
2008
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...
188
click to vote
SCIA
2005
Springer
15 years 11 months ago
2005
Springer
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...
170
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
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...
165
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
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...
211
click to vote
RE
2010
Springer
15 years 22 days ago
2010
Springer
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...