Sciweavers

973 search results - page 77 / 195
» Functional and architectural adaptation in pervasive computi...
Sort
View
MKM
2004
Springer
15 years 5 months ago
An Architecture for Distributed Mathematical Web Services
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...
Elena S. Smirnova, Clare M. So, Stephen M. Watt
GRID
2005
Springer
15 years 5 months ago
An autonomic service architecture for self-managing grid applications
—The scale, heterogeneity and dynamism of Grid applications and environments require Grid applications to be self-managing or autonomic. This paper presents the Accord autonomic ...
Hua Liu, Viraj Bhat, Manish Parashar, Scott Klasky
DAC
1994
ACM
15 years 4 months ago
HSIS: A BDD-Based Environment for Formal Verification
Functional and timing verification are currently the bottlenecks in many design efforts. Simulation and emulation are extensively used for verification. Formal verification is now...
Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin...
ICNS
2007
IEEE
15 years 6 months ago
Grid-enpowered Optical Burst Switched Network: Architecture, Protocols and Testbed
Abstract—This paper presents a novel architecture for Gridenabled optical burst switched networks. We suggest an overall Grid network architecture and we propose a Grid Optical U...
Georgios Zervas, Reza Nejabati, Dimitra Simeonidou
PG
2000
IEEE
15 years 4 months ago
Acceleration of Monte Carlo Path Tracing in General Environments
This paper describes a two pass algorithm capable of computing solutions to the global illumination in general environments (diffuse or glossy surfaces, anisotropically scattering...
Frederic Pérez, Ignacio Martín, Xavi...