1486 search results - page 220 / 298 » A Logically Saturated Extension of |
175
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
147
click to vote
DFT
2006
IEEE
15 years 10 months ago
2006
IEEE
With the recent development of nanoscale materials and assembly techniques, it is envisioned to build high-density reconfigurable systems which have never been achieved by the pho...
152
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Interpreted Systems". In this paper we analyse a particular class of interpreted sy...
179
click to vote
EDBT
2000
ACM
15 years 10 months ago
2000
ACM
The management and query processing of one dimensional intervals is a special case of extended object handling. One dimensional intervals play an important role in temporal databa...
139
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...