2004 search results - page 377 / 401 » Comparison of Model Checking Tools for Information Systems |
ECTEL
2007
Springer
15 years 6 months ago
2007
Springer
Currently national digital library of educational resources and services (DLE) for primary and secondary education is under implementation in Lithuania. The article aims to analyse...
137
click to vote
SIGADA
2001
Springer
15 years 4 months ago
2001
Springer
Statement and AbstractProblem Statement and AbstractProblem Statement and AbstractProblem Statement and Abstract The U.S. Navy currently bases the majority of our contact managemen...
104
click to vote
IJVR
2006
14 years 11 months ago
2006
In this article we propose an architecture for the inclusion and exploitation of semantic aspects in a CAD environment. Our schema focuses on the enhancement and improvement of a c...
109
click to vote
WWW
2003
ACM
16 years 13 days ago
2003
ACM
The move towards a semantic web will produce an increasing number of presentations whose creation is based upon semantic queries. Intelligent presentation generation engines have ...
78
Voted
BMCBI
2010
14 years 12 months ago
2010
Background: There is a vast need to find clinically applicable protein biomarkers as support in cancer diagnosis and tumour classification. In proteomics research, a number of met...