722 search results - page 89 / 145 » A Faithful Integration of Description Logics with Logic Prog... |
EUROSYS
2007
ACM
15 years 1 months ago
2007
ACM
To anticipate or not to anticipate -- that is the question, regarding adaptive middleware in the area of ubiquitous computing. Anticipation can guarantee that both the adapted and...
SSDBM
1999
IEEE
15 years 2 months ago
1999
IEEE
Conducting bioinformatic analyses involves biologists in expressing requests over a range of highly heterogeneous information sources and software tools. Such activities are labor...
104
click to vote
ICCAD
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper introduces a CAD framework for co-simulation of hybrid circuits containing CMOS and SET (Single Electron Transistor) devices. An improved analytical model for SET is al...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
AIMSA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...