596 search results - page 33 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
180
click to vote
VRST
2005
ACM
15 years 11 months ago
2005
ACM
Many mixed-reality systems require real-time composition of virtual objects with real video. Such composition requires some description of the virtual and real scene geometries an...
166
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
180
click to vote
RSP
2007
IEEE
16 years 7 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
169
click to vote
FC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
159
click to vote
HICSS
2007
IEEE
16 years 9 days ago
2007
IEEE
Knowledge sharing across community boundaries has been discussed in literature as an important source of new knowledge and innovation. Different studies point out the difficulties...