3736 search results - page 632 / 748 » Hand-Writing Program Generator Generators |
148
click to vote
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
154
click to vote
QOSA
2010
Springer
15 years 8 months ago
2010
Springer
Using model-to-model transformations to generate analysis models or code from architecture models is sought to promote compliance and reuse of components. The maintainability of tr...
155
Voted
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
137
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Security in multiagent systems is commonly defined as the ability of the system to deal with intentional threats from other agents. This paper focuses on domains where such intent...
160
click to vote
AUSDM
2006
Springer
15 years 8 months ago
2006
Springer
Harmonic monitoring has become an important tool for harmonic management in distribution systems. A comprehensive harmonic monitoring program has been designed and implemented on ...