164 search results - page 30 / 33 » S-CUBE: Enabling the Next Generation of Software Services |
182
click to vote
ESCIENCE
2006
IEEE
16 years 2 days ago
2006
IEEE
A goal of the Geosciences Network (GEON) is to develop cyber-infrastructure that will allow earth scientists to discover access, integrate and disseminate knowledge in distributed...
189
click to vote
SENSYS
2009
ACM
16 years 25 days ago
2009
ACM
Clock synchronization is highly desirable in many sensor networking applications. It enables event ordering, coordinated actuation, energy-efficient communication and duty cyclin...
151
click to vote
ECBS
2006
IEEE
16 years 2 days ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
211
click to vote
CADE
1998
Springer
15 years 10 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 ...
125
click to vote
FGCS
2006
15 years 6 months ago
2006
The research outlined in this paper marks an initial global cooperative effort between visualization and collaboration researchers to build a persistent virtual visualization faci...