2836 search results - page 270 / 568 » Model Checking for Software Architectures |
136
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
The software underpinning today’s IT systems needs to adapt dynamically and predictably to rapid changes in system workload, environment and objectives. We describe a software f...
DAC
2004
ACM
16 years 5 months ago
2004
ACM
This paper describes a strategy for verifying data-hazard correctness of out-of-order processors that implement register-renaming. We define a set of predicates to characterize re...
128
click to vote
WSC
2000
15 years 6 months ago
2000
Current research in the area of manufacturing planning and control has moved away from traditional centralized solutions towards distributed architectures that range from hierarch...
137
click to vote
ACISICIS
2008
IEEE
15 years 11 months ago
2008
IEEE
Design of accessible applications is often a challenge for software architects and developers. Development usually starts with structure and functionality of the planned applicati...
179
click to vote
ICMAS
2000
15 years 6 months ago
2000
s This paper introduces an architecture-centric object-oriented design method for MAS (Multi-Agent Systems) using the extended UML (Unified Modeling Language). The UML extension is...