169 search results - page 25 / 34 » Towards Verification of Storyboards |
EG
2006
13 years 9 months ago
2006
: E-government systems are subject to a continual change. The importance of better change management is nowadays, more important due to the evolution of Europe towards a multicultu...
ICARCV
2008
IEEE
14 years 3 months ago
2008
IEEE
—This paper discusses a vision problem for the detection of lift operation panel which is a plane subject to deformation due to viewing angle change. The key problem in this proj...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
Recent work on distributed, in-network aggregation assumes a benign population of participants. Unfortunately, modern distributed systems are plagued by malicious participants. In...
DAC
2009
ACM
14 years 10 months ago
2009
ACM
Don't-care conditions provide additional flexibility in logic synthesis and optimization. However, most work only focuses on the gate level because it is difficult to handle ...