3006 search results - page 61 / 602 » Overview |
114
Voted
CLEF
2006
Springer
15 years 6 months ago
2006
Springer
The first Answer Validation Exercise (AVE) has been launched at the Cross Language Evaluation Forum 2006. This task is aimed at developing systems able to decide whether the answer...
105
click to vote
ESWS
2006
Springer
15 years 6 months ago
2006
Springer
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
147
click to vote
MOVEP
2000
15 years 6 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
TOOLS
1997
IEEE
15 years 6 months ago
1997
IEEE
MUC
1995
15 years 6 months ago
1995
