2658 search results - page 35 / 532 » Autonomic Computing: An Overview |
172
click to vote
JLP
2010
15 years 21 days ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
176
click to vote
PACT
2001
Springer
15 years 10 months ago
2001
Springer
UNICORE (UNiform Interface to COmputer REsources) provides a seamless and secure access to distributed supercomputer resources. This paper will give an overview of the its architec...
138
click to vote
DIAGRAMS
2000
Springer
15 years 10 months ago
2000
Springer
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
158
click to vote
ICPADS
1997
IEEE
15 years 10 months ago
1997
IEEE
: Both IP switching and Tag switching were recently proposed to improve the performance of IP routers. They are all based on a multi-layer labelswapping mechanism, but their implem...
160
click to vote
COMPCON
1994
IEEE
15 years 10 months ago
1994
IEEE
Spring is a highly modular, distributed, object-oriented operating system. This paper describes the goals of the Spring system and provides overviews of the Spring object model, t...