2540 search results - page 101 / 508 » Abstract Logics as Dialgebras |
173
click to vote
LPNMR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
179
click to vote
WDAG
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
134
click to vote
CSMR
2006
IEEE
16 years 15 days ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
158
click to vote
ICCSA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Though some studies involving general micro-mobility exist, micromobility research concerning a mobile node (MN) moving between Mobile Anchor Points (MAP) is lacking. In ...
155
click to vote
ADAEUROPE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...