105 search results - page 1 / 21 » VALENS: A Knowledge Based Tool to Validate and Verify an Aio... |
96
Voted
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
120
click to vote
WEBI
2001
Springer
15 years 4 months ago
2001
Springer
As meta-data become of ever more importance to the Web, we will need to start managing such meta-data. We argue that there is a strong need for meta-data validation and aggregation...
97
Voted
ECTEL
2007
Springer
2007
Springer
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
15 years 6 months ago
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
124
Voted
CISIS
2009
IEEE
14 years 10 months ago
2009
IEEE
The capability to provide a platform for flexible business services in the Air Traffic Management (ATM) domain is both a major success factor for the ATM industry and a challenge ...
114
click to vote
PROVSEC
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Signcryption as a single cryptographic primitive offers both confidentiality and authentication simultaneously. Generally in signcryption schemes, the message is hidden a...