Sciweavers

1370 search results - page 75 / 274
» On the Consistent Observation of Active Systems
Sort
View
DATE
2009
IEEE
87views Hardware» more  DATE 2009»
15 years 10 months ago
Runtime reconfiguration of custom instructions for real-time embedded systems
This paper explores runtime reconfiguration of custom instructions in the context of multi-tasking real-time embedded systems. We propose a pseudo-polynomial time algorithm that mi...
Huynh Phung Huynh, Tulika Mitra
CLEAR
2007
Springer
121views Biometrics» more  CLEAR 2007»
16 years 8 days ago
Progress in the AMIDA Speaker Diarization System for Meeting Data
In this paper we describe the AMIDA speaker dizarization system as it was submitted to the NIST Rich Transcription evaluation 2007 for conference room data. This is done in the con...
David A. van Leeuwen, Matej Konecný
MR
2007
120views Robotics» more  MR 2007»
15 years 5 months ago
Advanced electronic prognostics through system telemetry and pattern recognition methods
Electronic Prognostics (EP) is a technique used in high-reliability and high-availability systems to actively and proactively detect faults, allowing the reduction of system downt...
Leon Lopez
WORDS
2005
IEEE
15 years 11 months ago
A Role-Based Access Control Policy Verification Framework for Real-Time Systems
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
Basit Shafiq, Ammar Masood, James Joshi, Arif Ghaf...
AIPS
2006
15 years 7 months ago
Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems
We present an architecture that provides a robust, scalable and flexible software framework for planning and scheduling systems through the use of standardized industrial-strength...
Bernd Schattenberg, Steffen Balzer, Susanne Biundo