248 search results - page 20 / 50 » Checking e-service consistency using Description Logics |
ICCAD
2002
IEEE
14 years 5 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
CAISE
2008
Springer
13 years 10 months ago
2008
Springer
The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. Our approach to validation consists in translating the schema into logic ...
PERCOM
2004
ACM
14 years 8 months ago
2004
ACM
In this paper we propose an OWL encoded context ontology (CONON) for modeling context in pervasive computing environments, and for supporting logicbased context reasoning. CONON p...
EDBT
2009
ACM
13 years 12 months ago
2009
ACM
Client/server information systems use caching techniques to reduce the volume of transmitted data as well as response time and, especially in the case of systems with mobile clien...
CCS
1998
ACM
14 years 25 days ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...