Sciweavers

2757 search results - page 140 / 552
» On separating systems
Sort
View
DSN
2003
IEEE
15 years 9 months ago
Integrating Recovery Strategies into a Primary Substation Automation System
The DepAuDE architecture provides middleware to integrate fault tolerance support into distributed embedded automation applications. It allows error recovery to be expressed in te...
Geert Deconinck, Vincenzo De Florio, Ronnie Belman...
HPDC
1993
IEEE
15 years 8 months ago
Supporting Heterogeneity and Distribution in the Numerical Propulsion System
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
Patrick T. Homer, Richard D. Schlichting
DATE
2010
IEEE
126views Hardware» more  DATE 2010»
15 years 8 months ago
Scenario-based analysis and synthesis of real-time systems using uppaal
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
DEXAW
2008
IEEE
126views Database» more  DEXAW 2008»
15 years 6 months ago
Incorporating Database Systems into a Secure Software Development Methodology
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
Eduardo B. Fernández, Jan Jürjens, Nob...
LREC
2010
225views Education» more  LREC 2010»
15 years 5 months ago
An Automatic System for Summarization and Information Extraction of Legal Information
Abstract. This paper presents an information system for legal professionals that integrates natural language processing technologies such as text classification and summarization. ...
Emmanuel Chieze, Atefeh Farzindar, Guy Lapalme