3674 search results - page 306 / 735 » Information Dependencies |
109
Voted
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
112
click to vote
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
146
Voted
TOPLAS
2010
14 years 11 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
116
click to vote
TIP
2002
15 years 13 days ago
2002
Real world images are complex objects, difficult to describe but at the same time possessing a high degree of redundancy. A very recent study [1] on the statistical properties of n...
HAPTICS
2006
IEEE
15 years 6 months ago
2006
IEEE
The development and evaluation of haptic rendering algorithms presents two unique challenges. Firstly, the haptic information channel is fundamentally bidirectional, so the output...