32117 search results - page 397 / 6424 » Design for Unanticipated Use.. |
173
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
150
Voted
ISCAS
2003
IEEE
16 years 2 days ago
2003
IEEE
In modern System-on-Chip (SoC) designs verification becomes the major bottleneck. Since by using state-of-theart techniques complete designs cannot be fully formally verified, it ...
187
click to vote
VL
2003
IEEE
16 years 2 days ago
2003
IEEE
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
167
click to vote
HIPC
2003
Springer
16 years 17 hour ago
2003
Springer
Abstract. System area networks (SANs) need to support low-fanout multicasts efficiently in addition to broadcasts and unicasts. A critical component in SANs is the switch, which i...
184
click to vote
CSMR
2002
IEEE
15 years 11 months ago
2002
IEEE
Design patterns have been widely adopted and well investigated by the software engineering community over the past decade. However, their primary use is still associated with forw...