3498 search results - page 544 / 700 » Role Model Based Framework Design and Integration |
139
click to vote
EDOC
2002
IEEE
15 years 10 months ago
2002
IEEE
The EC funded COMBINE Project has the objective of dramatically improving software development productivity by providing a holistic approach to component-based development of Ente...
130
click to vote
ASPLOS
2010
ACM
15 years 12 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speci...
143
Voted
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
135
click to vote
ACSC
2005
IEEE
15 years 10 months ago
2005
IEEE
Curriculum based on internetworking devices is primarily based on the Command Line Interface (CLI) and case studies. However a single CLI command may produce output that is not on...
149
Voted
SAC
2006
ACM
15 years 11 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...