2138 search results - page 265 / 428 » Logical Step-Indexed Logical Relations |
181
click to vote
SFM
2007
Springer
16 years 19 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
169
click to vote
CD
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
162
click to vote
ISMIS
2005
Springer
16 years 19 hour ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
181
click to vote
FSKD
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, an intelligent power management scheme for embedded systems with wireless applications is proposed to reduce the power consumption of the overall system. The propose...
190
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...