695 search results - page 116 / 139 » Dynamic Software Architectures Verification using DynAlloy |
HPDC
1999
IEEE
13 years 12 months ago
1999
IEEE
RSD (Resource and Service Description) is a software architecture for specifying, registering and accessing resources and services in complex heterogeneous computing environments....
DL
1995
Springer
13 years 11 months ago
1995
Springer
Maintenance will be critical to digital libraries, especially those that promote broad access to diverse, informal materials. If ignored, maintenance issues within the digital lib...
CASCON
1996
13 years 9 months ago
1996
Modern distributed applications pose increasing demands for high availability, automatic management, and dynamic con guration of their software systems. This paper presents the ar...
ESWA
2008
13 years 7 months ago
2008
In this paper, we present samap, whose goal is to build a software tool to help different people visit different cities. This tool integrates modules that dynamically capture user...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...