10458 search results - page 381 / 2092 » Modeling Features at Runtime |
186
click to vote
IFM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
205
click to vote
HPCA
1998
IEEE
15 years 11 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...
191
click to vote
ATC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Pervasive computing applications must be sufficiently autonomous to adapt their behaviour to changes in computing resources and user requirements. This capability is know...
183
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we shortly describe the Living Systems Autonomic Business Process Management (LS/ABPM) software product. LS/ABPM is an integrated environment, based on J2EE, Eclipse...
160
click to vote
CIS
2006
Springer
15 years 10 months ago
2006
Springer
Autonomic Computing Systems (ACS) are expected to achieve the same level of self-regulation and pervasiveness as human autonomic systems. Because of the features of ACS, the tradit...