4635 search results - page 365 / 927 » Modeling Design Knowledge on Structure |
159
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
117
click to vote
JAIR
2007
15 years 4 months ago
2007
In this paper, we study the possibility of designing non-trivial random CSP models by exploiting the intrinsic connection between structures and typical-case hardness. We show tha...
124
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Static worst-case execution time (WCET) analysis is done by modeling the hardware behavior. In this paper we describe a WCET analysis technique to analyze systems with function ca...
174
click to vote
SAC
2011
ACM
14 years 7 months ago
2011
ACM
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...
151
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
In many application areas, for example in design or media production processes, several authors have to work cooperatively on the same project. Thereby, a frequently used data for...