111 search results - page 22 / 23 » A graphical approach for modeling time-dependent behavior of... |
ATVA
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
HOPL
2007
13 years 9 months ago
2007
AppleScript is a scripting language and environment for the Mac OS. Originally conceived in 1989, AppleScript allows end-users to automate complex tasks and customize Mac OS appli...
IEEEMM
2002
13 years 5 months ago
2002
ion when we annotate content. This therefore requires us to investigate and model video semantics. Because of the type and volume of data, general-purpose approaches are likely to ...
GRAPHICSINTERFACE
1996
13 years 7 months ago
1996
We present a comprehensive methodology for realistically animating liquid phenomena. Our approach unifies existing computer graphics techniques for simulating fluids and extends t...
SIGCSE
2002
ACM
13 years 5 months ago
2002
ACM
Empirical evidence shows the ability for computer technology to deliver on its promises of enhancing our quality of life relies on how well the application fits our understanding ...