34 search results - page 5 / 7 » Hybrid Semantics of Stochastic Programs with Dynamic Reconfi... |
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
CGI
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents a quasi-physically based approach for interactively simulating large-scale dynamic forest scenes under different wind conditions. We introduce theories from th...
DALT
2009
Springer
13 years 12 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
CSFW
2010
IEEE
14 years 10 days ago
2010
IEEE
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...
WICSA
2008
13 years 10 months ago
2008
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...