169 search results - page 13 / 34 » Towards Verification of Storyboards |
ICAIL
2007
ACM
14 years 26 days ago
2007
ACM
The emergence of digital dossiers in Courts of Law presents new opportunities to streamline the criminal prosecution chain. This papers proposes the use of agent technology to sup...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
BCS
2008
13 years 10 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
ICDAR
2009
IEEE
13 years 6 months ago
2009
IEEE
Recent results of forgery detection by implementing biometric signature verification methods are promising. At present, forensic signature verification in daily casework is perfor...
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
Graphs are prevalently used to model the relationships between objects in various domains. With the increasing usage of graph databases, it has become more and more demanding to e...