3619 search results - page 514 / 724 » Developing Knowledge-Based Systems using the Semantic Web |
134
click to vote
COMPSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
181
Voted
CL
2012
Springer
13 years 6 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
130
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
152
click to vote
JTRES
2010
ACM
15 years 4 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
142
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Vulnerability discovery rates need to be taken into account for evaluating security risks. Accurate projection of these rates is required to estimate the effort needed to develop ...