2500 search results - page 142 / 500 » Specifying Behavior in C |
128
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML aspect-oriented modeling tool that uses graph transformations to specify and compose aspects. Gr...
130
Voted
RULEML
2007
Springer
15 years 9 months ago
2007
Springer
The focus of this paper is to show that the E-C-A paradigm offers an excellent approach for specifying the behavior of context-aware information push services. Such a service enabl...
127
Voted
EUROMICRO
2006
IEEE
15 years 9 months ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
147
Voted
RTCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
109
click to vote
SACMAT
2006
ACM
15 years 9 months ago
2006
ACM
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...