9267 search results - page 86 / 1854 » Expectation-Oriented Analysis and Design |
TACAS
1997
Springer
14 years 1 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
ASPDAC
2005
ACM
13 years 11 months ago
2005
ACM
— We present SoCExplore, a framework for fast communicationcentric design space exploration of complex SoCs with networkbased interconnects. Speed-up in exploration is achieved t...
ECSCW
1997
13 years 10 months ago
1997
: We address computer support for work and its coordination in one of the radio channels of the Danish Broadcasting Corporation. Based upon ethnographically inspired analysis and p...
ECRA
2006
13 years 9 months ago
2006
Prior studies have suggested that a good Website design which facilitates a user's Web browsing behaviour would generally lead to better user performance. In this research, w...
ICECCS
2009
IEEE
13 years 6 months ago
2009
IEEE
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on co...