4469 search results - page 770 / 894 » A Language for Role Specifications |
158
click to vote
FCCM
2007
IEEE
16 years 16 days ago
2007
IEEE
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...
201
click to vote
FDL
2007
IEEE
16 years 16 days ago
2007
IEEE
Transaction level models (TLMs) can be constructed at t levels of abstraction, denoted as untimed (UT), cycle-approximate (CX), and cycle accurate (CA) in this paper. The choice o...
177
click to vote
HASE
2007
IEEE
16 years 16 days ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
173
click to vote
IWPSE
2007
IEEE
16 years 14 days ago
2007
IEEE
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
151
click to vote
KBSE
2007
IEEE
16 years 14 days ago
2007
IEEE
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...