489 search results - page 9 / 98 » Structuring the Space of Interactive System Properties |
INFOVIS
2002
IEEE
15 years 2 months ago
2002
IEEE
Radial, space-filling (RSF) techniques for hierarchy visualization have several advantages over traditional node-link diagrams, including the ability to efficiently use the disp...
FSTTCS
2008
Springer
14 years 10 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
110
Voted
ERSHOV
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
CHI
1998
ACM
15 years 1 months ago
1998
ACM
Although design metaphors play an important role in many software projects, their influence on system functionality, project methodology and the interactions among members of the ...
DSVIS
2000
Springer
15 years 2 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...