Sciweavers

1341 search results - page 88 / 269
» Unified Modeling of Complex Real-Time Control Systems
Sort
View
IFIP3
1998
151views Education» more  IFIP3 1998»
13 years 9 months ago
Conceptual Workflow Modelling for Remote Courses
Development of a wide spread project intended to teaching Computer Science, integrating a considerable number of students all over a country with big geographical extension and sc...
José Palazzo M. de Oliveira, Mariano Nicola...
ICCS
2001
Springer
14 years 24 days ago
The Policy Machine for Security Policy Management
Abstract. Many different access control policies and models have been developed to suit a variety of goals; these include Role-Based Access Control, One-directional Information Flo...
Vincent C. Hu, Deborah A. Frincke, David F. Ferrai...
ISCAS
2005
IEEE
144views Hardware» more  ISCAS 2005»
14 years 1 months ago
A method for online secondary path modeling in active noise control systems
— This paper proposes a new method for online secondary path modeling in active noise control (ANC) systems. The proposed method is a modified version of the basic method, propo...
Muhammad Tahir Akhtar, Masahide Abe, Masayuki Kawa...
SOFSEM
2007
Springer
14 years 2 months ago
Games, Time, and Probability: Graph Models for System Design and Analysis
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
Thomas A. Henzinger
ETRA
2008
ACM
120views Biometrics» more  ETRA 2008»
13 years 10 months ago
Eye movement prediction by Kalman filter with integrated linear horizontal oculomotor plant mechanical model
The goal of this paper is to predict future horizontal eye movement trajectories within a specified time interval. To achieve this goal a linear horizontal oculomotor plant mechan...
Oleg Komogortsev, Javed I. Khan