3546 search results - page 424 / 710 » A Causal Logic of Logic Programming |
146
click to vote
PERCOM
2007
ACM
15 years 11 months ago
2007
ACM
The CARE middleware aims at supporting contextaware adaptation of Internet services in a mobile computing environment. The CARE hybrid reasoning mechanism is based on a loose inte...
129
click to vote
VTS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...
132
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
123
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
A key challenge for companies is to manage customer relationships as an asset. To create an effective toolkit for the analysis of customer relationships, a combination of relation...
145
click to vote
SEW
2003
IEEE
15 years 10 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...