8810 search results - page 118 / 1762 » Openness |
129
click to vote
CADE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
149
click to vote
MA
1999
Springer
15 years 7 months ago
1999
Springer
Although mobile agents are a promising technology, the large-scale deployment of agents and the existence of hosts running agencies will not happen until proper security mechanism...
113
Voted
VTS
1996
IEEE
15 years 7 months ago
1996
IEEE
In this paper, we for the rst time present experimental evidence that the die surface can act as an RC interconnect, becoming an important factor in determining the voltage of a o...
116
Voted
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
139
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Performance analysis of high performance systems is a difficult task. Current tools have proven successful in analysis tasks but their implementation is limited in several respects...