Sciweavers

3565 search results - page 125 / 713
» Modeling a system controller for timing analysis
Sort
View
110
Voted
CDC
2008
IEEE
160views Control Systems» more  CDC 2008»
15 years 9 months ago
Analysis of sampled-data interconnected systems
Abstract— In this paper, we consider the sampled-data problem of interconnected systems, specifically, time- and spaceinvariant systems. Our main contribution is to provide suf...
Chun Zhang, Geir E. Dullerud
128
Voted
HASE
2007
IEEE
15 years 5 months ago
Behavioral Fault Modeling for Model-based Safety Analysis
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
Anjali Joshi, Mats Per Erik Heimdahl
JCS
2010
124views more  JCS 2010»
15 years 1 months ago
Verifying resource access control on mobile interactive devices
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
Frédéric Besson, Guillaume Dufay, Th...
124
Voted
WSC
2007
15 years 5 months ago
Metamodeling for cycle time-throughput-product mix surfaces using progressive model fitting
A simulation-based methodology is proposed to map the mean of steady-state cycle time as a function of throughput and product mix for manufacturing systems. Nonlinear regression m...
Feng Yang, Jingang Liu, Mustafa Tongarlak, Bruce E...
138
Voted
COMGEO
2010
ACM
15 years 6 months ago
Access control systems for spatial data infrastructures and their administration
Today sophisticated concepts, languages and frameworks exist, that allow implementing powerful fine grained access control systems for protecting Web Services and spatial data in ...
Jan Herrmann