Sciweavers

15644 search results - page 106 / 3129
» Brittle System Analysis
Sort
View
CHI
1998
ACM
15 years 10 months ago
Cognitive Function Analysis for Human-Centered Automation of Safety-Critical Systems
The Cognitive Function Analysis is a methodology supportedby a mediating tool for the human-centered automationof safety-critical systems[4]. It is basedon a socio-cognitive model...
Guy A. Boy
ATVA
2006
Springer
158views Hardware» more  ATVA 2006»
15 years 10 months ago
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
Hang Su, Graham Hemingway, Kai Chen, T. John Koo
LREC
2008
220views Education» more  LREC 2008»
15 years 7 months ago
Introducing DRS (The Digital Replay System): a Tool for the Future of Corpus Linguistic Research and Analysis
This paper outlines the new resource technologies, products and applications that have been constructed during the development of a multi-modal (MM hereafter) corpus tool on the D...
Dawn Knight, Paul Tennent
CORR
2011
Springer
241views Education» more  CORR 2011»
14 years 10 months ago
An Agent-based Strategy for Deploying Analysis Models into Specification and Design for Distributed APS Systems
Despite the extensive use of the agent technology in the Supply Chain Management field, its integration with Advanced Planning and Scheduling (APS) tools still represents a promis...
Luis Antonio de Santa-Eulalia, Sophie D'Amours, Je...
SIGMOD
2007
ACM
166views Database» more  SIGMOD 2007»
16 years 6 months ago
Threats to privacy in the forensic analysis of database systems
The use of any modern computer system leaves unintended traces of expired data and remnants of users' past activities. In this paper, we investigate the unintended persistenc...
Patrick Stahlberg, Gerome Miklau, Brian Neil Levin...