315 search results - page 43 / 63 » Combinational Verification based on High-Level Functional Sp... |
VLDB
2004
ACM
14 years 1 months ago
2004
ACM
Ontologies are increasingly being used to build applications that utilize domain-specific knowledge. This paper addresses the problem of supporting ontology-based semantic matchin...
SSDBM
2000
IEEE
14 years 8 days ago
2000
IEEE
Benchmarking spatiotemporal database systems requires the definition of suitable datasets simulating the typical behavior of moving objects. Previous approaches for generating spa...
HICSS
2002
IEEE
14 years 25 days ago
2002
IEEE
A major trend in the current information society is personalization, which is considered a key business enabler for mobile services because the mobile device is a personal assista...
AINA
2005
IEEE
14 years 1 months ago
2005
IEEE
: The pervasive nature of mobile and wireless systems has led to increased concerns over Quality of Service (QoS). In the prevailing models for QoS management, QoS resolution is ac...
VLSID
2010
IEEE
13 years 5 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...