3619 search results - page 598 / 724 » Developing Knowledge-Based Systems using the Semantic Web |
127
Voted
EUROSYS
2008
ACM
16 years 18 days ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
120
Voted
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
122
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Virtual machines are widely accepted as a promising basis for building secure systems. However, while virtual machines offer effective mechanisms to create isolated environments, ...
124
click to vote
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
: Ultrasound technologies have been widely used in gynecology and obstetrics. Modern ultrasound systems allow the reconstruction of a 3D model of the subject being scanned. Even th...
140
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Recent interests on XML, Semantic Web, and Web ontology, among other topics, have sparked a renewed interest on graph-structured databases. A fundamental query on graphs is the re...