2302 search results - page 296 / 461 » Basic Description Logics |
160
click to vote
ACISP
2010
Springer
15 years 7 months ago
2010
Springer
We provide the first description of and security model for authenticated key exchange protocols with predicate-based authentication. In addition to the standard goal of session ke...
168
click to vote
COMMA
2006
15 years 7 months ago
2006
This paper demonstrates the potential of the Semantic Web as a platform for representing, navigating and processing arguments on a global scale. We use the RDF Schema (RDFS) ontolo...
179
click to vote
DLT
2003
15 years 7 months ago
2003
Past proposals for applying to pictures or 2D languages the generative grammar approach do not match in our opinion the elegance and descriptive adequacy that made Context Free gr...
116
click to vote
WSC
2001
15 years 7 months ago
2001
A car-following and lane-changing microsimulation model of a two-lane road section has been written in SLX (Simulation Language with eXtensibility) as part of an extensive researc...
145
Voted
FORTE
1989
15 years 7 months ago
1989
ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...