840 search results - page 130 / 168 » Open multi-methods for c |
114
click to vote
JAPLL
2006
15 years 1 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
RAS
2006
15 years 1 months ago
2006
Self-reconfigurable robots are built from modules, which are autonomously able to change the way they are connected. Such a robot can, through this self-reconfiguration process, c...
106
click to vote
SIGCSE
2008
ACM
15 years 1 months ago
2008
ACM
Virtual laboratories are a potential replacement for standard laboratory facilities. Use of these virtual resources can reduce cost and maintenance overheads for teaching institut...
125
click to vote
IJISEC
2007
15 years 1 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
105
click to vote
JGT
2007
15 years 1 months ago
2007
It is known that for every integer k ≥ 4, each k-map graph with n vertices has at most kn − 2k edges. Previously, it was open whether this bound is tight or not. We show that ...