5972 search results - page 363 / 1195 » Extending Design Environments to Software Architecture Desig... |
206
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
170
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
On traditional tables, people frequently use the third dimension to pile, sort and store objects. However, while effective and informative for organization, this use of the third ...
168
click to vote
ESTIMEDIA
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents techniques to tightly integrate worstcase execution time (WCET) information into a compiler framework. Currently, a tight integration of WCET information into ...
154
click to vote
PATMOS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The emergence of data-intensive applications in mobile environments has resulted in portable electronic systems with increasingly large dynamic memories. The typical oper...
157
click to vote
DESRIST
2009
Springer
15 years 10 months ago
2009
Springer
As a result of the rigor vs. relevance debate, researchers who focus on design research on organizational problems are beginning to focus on their research methodology’s rigor. ...