1527 search results - page 56 / 306 » From Requirements to Design: Formalizing the Key Steps |
156
click to vote
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
156
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Form mapping is the key problem that needs to be solved in order to get access to the hidden web. Currently available solutions for fully automatic mapping are not ready for comme...
136
click to vote
HCI
1997
15 years 7 months ago
1997
Unless a web site meets the needs of the intended users it will not meet the needs of the organisation providing the web site. Web site development should be user-centred, evaluat...
149
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
{ Mobile and personal communication systems form key market areas for the electronics industry of the nineties. Stringent requirements in terms of
exibility, performance and power...
158
click to vote
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
Interest in synthesis of Application Specific Instruction Set Processors or ASIPs has increased considerably and a number of methodologies have been proposed for ASIP design. A ke...