1157 search results - page 198 / 232 » Descriptive Complexity and Model Checking |
EUROSYS
2006
ACM
14 years 5 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
IJBRA
2007
13 years 8 months ago
2007
: In this paper we explore issues in the development of the my Grid ontology, which is an OWL ontology designed to support service discovery through service annotation. There are c...
PVLDB
2010
13 years 7 months ago
2010
Ontology-based data access is a powerful form of extending database technology, where a classical extensional database (EDB) is enhanced by an ontology that generates new intensio...
WSC
1998
13 years 10 months ago
1998
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...