446 search results - page 38 / 90 » Modal Logics for Timed Control |
PUC
2002
13 years 8 months ago
2002
: Constructing stories is a type of playing that involves mobilizing the storyteller's imagination and finding original ways to convey narrative intentions. When a child inven...
DAC
2003
ACM
14 years 10 months ago
2003
ACM
While Boolean logic minimization is typically used in logic synthesis, logic minimization can be useful in numerous other applications. However, many of those applications, such a...
JCP
2008
13 years 9 months ago
2008
Differentiated Services (DiffServ)-aware network potentially can provide the next generation platform for multimedia support in the Internet. In this work we look at improving band...
HYBRID
2010
Springer
14 years 3 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...