Sciweavers

2810 search results - page 63 / 562
» Contract-Based Component System Design
Sort
View
APSEC
2001
IEEE
15 years 2 months ago
Formal Specification of Mixed Components with Korrigan
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
Christine Choppy, Pascal Poizat, Jean-Claude Royer
TVLSI
1998
83views more  TVLSI 1998»
14 years 10 months ago
Low overhead fault-tolerant FPGA systems
— Fault-tolerance is an important system metric for many operating environments, from automotive to space exploration. The conventional technique for improving system reliability...
John Lach, William H. Mangione-Smith, Miodrag Potk...
85
Voted
CIKM
2010
Springer
14 years 9 months ago
Components for information extraction: ontology-based information extractors and generic platforms
Information Extraction (IE) has existed as a field for several decades and has produced some impressive systems in the recent past. Despite its success, widespread usage and comm...
Daya C. Wimalasuriya, Dejing Dou
ACIVS
2008
Springer
15 years 5 months ago
Video-Based Fall Detection in the Home Using Principal Component Analysis
This paper presents the design and real-time implementation of a fall-detection system, aiming at detecting fall incidents in unobserved home situations. The setup employs two fix...
Lykele Hazelhoff, Jungong Han, Peter H. N. de With
DSOM
1999
Springer
15 years 3 months ago
Integrating Service and Network Management Components for Service Fulfilment
: Solutions in the network and service management layers of telecommunications management architectures are currently fragmented both in terms of standards and products. It is ofte...
David Lewis, Chris Malbon, George Pavlou, Costas S...