1965 search results - page 148 / 393 » On the analysis of interacting pushdown systems |
DRM
2005
Springer
14 years 2 months ago
2005
Springer
Interoperability is currently seen as one of the most significant problems facing the digital rights management (DRM) industry. In this paper we consider the problem of interoper...
RTS
2006
13 years 9 months ago
2006
Estimating the Worst Case Execution Time (WCET) of a program on a given processor is important for the schedulability analysis of real-time systems. WCET analysis techniques typic...
MM
2003
ACM
14 years 2 months ago
2003
ACM
We present MuSA.RT, Opus 1, a multimodal interactive system for music analysis and visualization using the Spiral Array model. Real-time MIDI input from a live performance is proc...
FM
2009
Springer
14 years 3 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
In this paper we present the MapMover project as a case study into the use and design of an interactive system for collective expression. Informed by analysis and reflection we ad...