3028 search results - page 315 / 606 » Integrating Temporal Logics |
173
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
Preserving integrity of applications being executed in remote machines is an open problem. Integrity requires that application code is not tampered with, prior to or during execut...
201
click to vote
LPNMR
2005
Springer
16 years 8 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
188
click to vote
SBCCI
2004
ACM
16 years 6 days ago
2004
ACM
This paper presents an approach for simulation of mixed analog-digital CMOS integrated circuits, aiming at estimating crosstalk effects due to current pulses drawn from voltage s...
173
click to vote
OWLED
2007
15 years 8 months ago
2007
Abstract. Ontologies contain information about concepts and their relations. Certain concepts may occur in different ontologies at the same time and these concepts can be used as ...
186
click to vote
SPIN
2007
Springer
16 years 27 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...