1567 search results - page 48 / 314 » A Mechanized Model of the Theory of Objects |
108
click to vote
EJC
2003
15 years 2 months ago
2003
The goal of this paper is to build a bridge from a certain intuitive conception of natural language communication, called the SLIM theory of language, to a technical approach, cal...
101
click to vote
ECOOP
1999
Springer
15 years 5 months ago
1999
Springer
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
126
click to vote
WINET
2002
15 years 1 months ago
2002
Wireless ad-hoc sensor networks have the potential to provide the missing interface between the physical world and the Internet, thus impacting a large number of users. This conne...
110
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— We introduce a robotic prototype of an arm with a loosely coupled joint, modeled on the human joint. A viscoelastic object functions as cartilage and soft actuators as muscles....