5030 search results - page 655 / 1006 » cases 2007 |
154
Voted
IJPP
2007
15 years 6 months ago
2007
As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications require guarantees on both message arrival prob...
201
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
181
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
156
Voted
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
Code clones are generally considered harmful in software development, and the predominant approach is to try to eliminate them through refactoring. However, recent research has pr...
208
Voted
ASWEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Distributed applications that adapt as their environment changes are developed from selfmanaging, self-configuring and self-optimising behaviours. This requires constant monitorin...