695 search results - page 41 / 139 » Dynamic Software Architectures Verification using DynAlloy |
IWSAS
2000
Springer
13 years 11 months ago
2000
Springer
To facilitate the design of large-scale, self-adaptive systems, we have developed the Port-Based Adaptable Agent Architecture. This distributed, multiagent architecture allows syst...
ICSEA
2007
IEEE
14 years 1 months ago
2007
IEEE
— With the mutual consent to use WSDL (Web Service Description Language) to describe web service interfaces and SOAP as the basic communication protocol, the cornerstone for web ...
WIESS
2000
13 years 9 months ago
2000
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...
CASES
2009
ACM
14 years 2 months ago
2009
ACM
Coarse-grained reconfigurable architectures (CGRAs) present an appealing hardware platform by providing programmability with the potential for high computation throughput, scalab...
IWSAS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Certain problems in which the environment is not well constrained do not lend themselves to a conventional open loop solution. Image understanding is such a problem domai...