2500 search results - page 142 / 500 » Specifying Behavior in C |
165
click to vote
MODELS
2007
Springer
16 years 13 days 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...
169
click to vote
RULEML
2007
Springer
16 years 12 days 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...
165
click to vote
EUROMICRO
2006
IEEE
16 years 10 days 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 ...
185
click to vote
RTCSA
2006
IEEE
16 years 9 days 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...
138
click to vote
SACMAT
2006
ACM
16 years 7 days 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...