1902 search results - page 108 / 381 » Differential Dynamic Logics |
168
Voted
AUTOMATICA
2006
15 years 5 months ago
2006
Motivated by questions in stability theory for hybrid dynamical systems, we establish some fundamental properties of the set of solutions to such systems. Using the notion of a hy...
273
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
147
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
Component-based middleware frameworks that support distributed agent societies have proven to be very useful in a variety of domains. Such frameworks must include support for both ...
168
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
203
Voted
ISLPED
1995
ACM
15 years 9 months ago
1995
ACM
When estimating the dynamic power dissipated by a circuit di erent methods ranging from numeric analog simulation to event-driven logic simulation have been proposed. However, as ...