2836 search results - page 416 / 568 » Model Checking for Software Architectures |
160
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
157
click to vote
WSC
2007
15 years 8 months ago
2007
Decision making in industry continues to become more complicated. Customers are more demanding, competition is more fierce, and costs for labor and raw materials continue to rise....
153
click to vote
AOSE
2007
Springer
16 years 17 days ago
2007
Springer
This paper describes how the Organization-based Multiagent Systems Engineering (O-MaSE) methodology can be applied to an exemplar multiagent system, the Conference Management Syste...
144
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
The increasing complexity and software content of embedded systems has led to the common use of sophisticated system software that helps applications use the underlying hardware r...
174
click to vote
ICSM
2007
IEEE
16 years 21 days ago
2007
IEEE
Uncovering, modelling, and understanding architectural level dependencies of software systems is a key task for software maintainers. However, current dependency analysis techniqu...