1928 search results - page 234 / 386 » Integrity Constraints in OWL |
ICCD
2008
IEEE
14 years 7 months ago
2008
IEEE
—Nanoscale integrated circuits are becoming increasingly sensitive to radiation-induced transient faults (soft errors) due to current technology scaling trends, such as shrinking...
VMCAI
2009
Springer
14 years 5 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
ISORC
2009
IEEE
14 years 4 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
MODELS
2009
Springer
14 years 4 months ago
2009
Springer
One of the challenges faced by network management systems is the increasing need for consistent management of physical network equipment. We propose a solution where equipment is m...
FGR
2008
IEEE
14 years 4 months ago
2008
IEEE
A robust VAR-based (vector autoregressive) model is introduced for motion prediction in 3D hand tracking. This dynamic VAR motion model is learned in an online manner. The kinemat...