834 search results - page 88 / 167 » Anaphora and the Logic of Change |
222
click to vote
FROCOS
2009
Springer
16 years 25 days ago
2009
Springer
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative k...
144
click to vote
KBSE
2008
IEEE
16 years 20 days ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
150
click to vote
AINA
2007
IEEE
16 years 19 days ago
2007
IEEE
In the near future, homes are envisioned to be equipped with numerous intelligent communicating devices. Such smart home needs to exhibit highly adaptive behavior to meet the inha...
176
click to vote
DSD
2007
IEEE
16 years 18 days ago
2007
IEEE
With continuing increase in soft error rates, its foreseeable that multiple faults will eventually need to be considered when modeling circuit sensitivity and evaluating faulttole...
168
click to vote
CSCLP
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...