12115 search results - page 263 / 2423 » Bisimulation of Dynamical Systems |
187
click to vote
DLOG
1998
15 years 8 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
175
click to vote
EWSA
2004
Springer
16 years 1 hour ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
137
click to vote
FLAIRS
2006
2006
Celerina - A Generative Music System Using Aesthetical Reduction Applied to Simple Cellular Automata
15 years 8 months ago
Celerina is the software core of a realtime system for dynamic music generation. Several one-dimensional binary cellular automata generate melodic patterns that are subsequently r...
202
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we present a solution that allows systems to remain active while they are evolving. Our approach goes out from the principle of separated concerns and has two steps....
214
click to vote
VEE
2006
ACM
16 years 17 days ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....