Sciweavers

15644 search results - page 67 / 3129
» Brittle System Analysis
Sort
View
173
Voted
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 9 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
AUTOMATICA
2005
123views more  AUTOMATICA 2005»
15 years 4 months ago
Analysis and synthesis of switched linear control systems
Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant...
Zhendong Sun, Shuzhi Sam Ge
ICDAR
2003
IEEE
15 years 10 months ago
Graph Grammar Based Analysis System of Complex Table Form Document
Structure analysis of table form document is important because printed documents and also electronical documents only provide geometrical layout and lexical information explicitly...
Akira Amano, Naoki Asada
121
Voted
WWW
2006
ACM
16 years 5 months ago
System for spatio-temporal analysis of online news and blogs
Previous work on spatio-temporal analysis of news items and other documents has largely focused on broad categorization of small text collections by region or country. A system fo...
Angelo Dalli
SAFECOMP
2007
Springer
15 years 10 months ago
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Cho...