10289 search results - page 378 / 2058 » Standard bases in K |
171
click to vote
ISMIS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. This paper presents a framework for reasoning using intervals. Two interpretations of intervals are examined, one treats intervals as bounds of a truth evaluation functio...
136
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we present a way to integrate web proxies with smart card based authentication systems. Categories and Subject Descriptors K.6.5 [Security and Protection]: Authentic...
175
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
We look at the essential thinking skills students need to learn in the introductory computer science course based on object-oriented programming. We create a framework for such a ...
180
click to vote
ESWS
2010
Springer
15 years 7 months ago
2010
Springer
SWRL rule are increasingly being used to represent knowledge on the Semantic Web. As these SWRL rule bases grows larger, managing the resulting complexity can become a challenge. D...
177
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...