2836 search results - page 402 / 568 » Model Checking for Software Architectures |
224
Voted
PLDI
2012
ACM
13 years 10 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
165
click to vote
EEMMAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract The increasingly complex and dynamic nature of contemporary markets demands that a business engages in an ongoing dialogue with all aspects of its environment, including o...
200
Voted
ICWE
2005
Springer
16 years 1 months ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
201
Voted
ICDCS
2002
IEEE
16 years 13 days ago
2002
IEEE
The next generation of computing systems will be embedded, in a virtually unbounded number, and dynamically connected. The current software, network architectures, and their assoc...
211
Voted
ISADS
1999
IEEE
15 years 11 months ago
1999
IEEE
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and diversity of cooperative work. This article investigates the use of software com...