4930 search results - page 100 / 986 » Testing a Safety-Critical Application |
121
Voted
IFL
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
255
Voted
APAL
2011
15 years 1 days ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
156
Voted
WSC
2008
15 years 7 months ago
2008
Testing and benchmarking of stream processing systems requires workload representative of real world scenarios with myriad of users, interacting through different applications ove...
144
click to vote
ISMAR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper introduces ComposAR, a tool to allow a wide audience to author AR and MR applications. It is unique in that it supports both visual programming and interpretive scripti...
109
Voted
ICIP
2002
IEEE
16 years 6 months ago
2002
IEEE
This paper extends our recent game-theoretic approach [1] to design and embed watermarks in Gaussian signals in the presence of an adversary. The detector solves a binary hypothes...