4890 search results - page 201 / 978 » From system specifications to component behavioral models |
163
click to vote
INFSOF
2006
15 years 6 months ago
2006
This paper proposes a principled methodology for the realization of distribution transparencies. The proposed methodology is placed within the general context of Model-Driven Arch...
182
click to vote
AIMS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. A central issue in autonomic management is how to coordinate several autonomic management processes, which is assumed to require significant knowledge exchange. This stu...
174
click to vote
ICS
2010
Tsinghua U.
15 years 5 months ago
2010
Tsinghua U.
Abstract—Power modeling based on performance monitoring counters (PMCs) has attracted the interest of many researchers since it become a quick approach to understand and analyse ...
201
click to vote
RSP
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
177
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
GEGICK, MICHAEL CHARLES. Predicting Attack-prone Components with Source Code Static Analyzers. (Under the direction of Laurie Williams). No single vulnerability detection techniqu...