332 search results - page 52 / 67 » Automatic Structures: Richness and Limitations |
ICWS
2009
IEEE
14 years 4 months ago
2009
IEEE
—Semantic Web Services (SWS) aim at the automated discovery and orchestration of Web services on the basis of comprehensive, machine-interpretable semantic descriptions. However,...
ICCAD
2007
IEEE
14 years 2 months ago
2007
IEEE
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...
ICDCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—Automation has long been recognized as an important goal in AFM (Atomic Force Microscope) nanomanipulation research. For the precise manipulation of small particles with...
GPCE
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...