1023 search results - page 140 / 205 » Renaissance: A Method to Support Software System Evolution |
131
click to vote
CASES
2001
ACM
15 years 7 months ago
2001
ACM
Current development tools for embedded real-time systems do not efficiently support the timing aspect. The most important timing parameter for scheduling and system analysis is th...
151
click to vote
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
124
click to vote
SIAMREV
2011
14 years 7 months ago
2011
This paper deals with efficient numerical representation and manipulation of differential and integral operators as symbols in phase-space, i.e., functions of space x and frequen...
132
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— This paper discusses the design and current capabilities of a new software tool, dVC, capable of simulating planar systems of bodies experiencing unilateral contacts wi...
136
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...