433 search results - page 25 / 87 » An Overview of the VigilNet Architecture |
157
click to vote
CADE
2000
Springer
15 years 10 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...
176
click to vote
FC
2010
Springer
15 years 7 months ago
2010
Springer
We consider the problem of building a secure cloud storage service on top of a public cloud infrastructure where the service provider is not completely trusted by the customer. We...
179
click to vote
CISSE
2007
Springer
15 years 10 months ago
2007
Springer
- With a trend toward becoming more and more information based, enterprises constantly attempt to surpass the accomplishments of each other by improving their information activitie...
160
click to vote
IEEEPACT
2002
IEEE
15 years 11 months ago
2002
IEEE
Traditional compilers perform their code generation tasks based on a fixed, pre-determined instruction set. This paper describes the implementation of a compiler that determines ...
171
click to vote
EDO
2006
Springer
15 years 9 months ago
2006
Springer
Embedded systems are rapidly growing in size, complexity, distribution, and heterogeneity. As a result, the traditional practice of developing one-off embedded applications that a...