5085 search results - page 421 / 1017 » Multidimensional Design by Examples |
202
click to vote
W4A
2005
ACM
16 years 1 months ago
2005
ACM
Awareness of Web accessibility is spreading all over the world among Web designers and developers, due to regulations such as the US law called Section 508 and guidelines like the...
197
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
175
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Output-based feedback control of discrete-time hybrid systems is an important problem, as in practice it is rarely the case that the full state variable is available for feedback. ...
216
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
264
click to vote
ISSTA
2012
ACM
13 years 10 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...