2199 search results - page 181 / 440 » Adapting Privacy-Preserving Computation to the Service Provi... |
194
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
168
click to vote
EUROPAR
2001
Springer
15 years 11 months ago
2001
Springer
A new methodology is presented in this paper for resource management in a metacomputing environment using a hierarchy of homogeneous agents that has the capability of service disco...
172
click to vote
IFIP
2007
Springer
16 years 23 days ago
2007
Springer
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...
165
click to vote
ICAC
2005
IEEE
16 years 6 days ago
2005
IEEE
Service-oriented architectures enable services to be dynamically selected and integrated at runtime, thus enabling system flexibility and adaptiveness—autonomic attributes that...
175
click to vote
ICDE
2007
IEEE
16 years 28 days ago
2007
IEEE
Over the years, the notion of transactions has become synonymous with providing fault-tolerance, reliability and robustness to database systems. However, challenges arise when we ...