345 search results - page 47 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
118
Voted
HICSS
1995
IEEE
15 years 7 months ago
1995
IEEE
To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ Dispatcher/Collocutor technique), a simple and pragmatic approach to allow ...
154
Voted
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
112
Voted
AIMSA
2008
Springer
15 years 10 months ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
175
Voted
XPU
2010
Springer
15 years 2 months ago
2010
Springer
Software product lines - families of similar but not identical software products - need to address the issue of feature variability. That is, a single feature might require various...
269
Voted
CASES
2011
ACM
14 years 3 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...