4892 search results - page 62 / 979 » A Resource Description Environment for Distributed Computing... |
110
click to vote
MKM
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
142
click to vote
CONTEXT
2003
Springer
15 years 8 months ago
2003
Springer
In conventional security systems, protected resources such as documents, hardware devices and software applications follow an On/Off access policy. On, allows to grant access and ...
139
click to vote
AINA
2010
IEEE
15 years 3 months ago
2010
IEEE
—Virtual machines offer unique advantages to the scientific computing community, such as Quality of Service(QoS) guarantee, performance isolation, easy resource management, and ...
165
click to vote
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
142
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Dynamic, distributed, real-time systems control an environment that varies widely without any time-invariant statistical or deterministic characteristic, are spread across multiple...