9145 search results - page 1675 / 1829 » Description Logic Systems |
DAC
2004
ACM
14 years 29 days ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...
CAISE
2006
Springer
14 years 29 days ago
2006
Springer
The role of ontologies in knowledge base systems is gradually increasing. Along with the growth of Internet based applications and ecommerce, the need for easy interoperability bet...
DASFAA
2004
IEEE
14 years 29 days ago
2004
IEEE
Relational index structures, as for instance the Relational Interval Tree or the Linear Quadtree, support efficient processing of queries on top of existing object-relational datab...
DATE
2004
IEEE
14 years 29 days ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
ECOWS
2006
Springer
14 years 27 days ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...