Sciweavers

15840 search results - page 278 / 3168

» The Control of Synchronous Systems

103

HYBRID
2004
Springer

94views Control Systems» more HYBRID 2004»

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints

15 years 9 months ago

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints

Download www.cs.brandeis.edu

Timothy J. Hickey, David K. Wittenberg

claim paper

Read More »

118

HYBRID
2004
Springer

117views Control Systems» more HYBRID 2004»

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

15 years 9 months ago

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

Download www.stanford.edu

Patrick Lincoln, Ashish Tiwari

claim paper

Read More »

112

HYBRID
2004
Springer

100views Control Systems» more HYBRID 2004»

Nonlinear Systems: Approximating Reach Sets

15 years 9 months ago

Nonlinear Systems: Approximating Reach Sets

Download www.csl.sri.com

Ashish Tiwari, Gaurav Khanna

claim paper

Read More »

130

HYBRID
2004
Springer

93views Control Systems» more HYBRID 2004»

A Numerical Technique for Stability Analysis of Linear Switched Systems

15 years 9 months ago

A Numerical Technique for Stability Analysis of Linear Switched Systems

Download www.dcs.gla.ac.uk

Christos A. Yfoulis, Robert Shorten

claim paper

Read More »

114

WETICE
2003
IEEE

114views Emerging Technology» more WETICE 2003»

Policy Storage for Role-Based Access Control Systems

15 years 9 months ago

Policy Storage for Role-Based Access Control Systems

Download www.cl.cam.ac.uk

Role-based access control has been a focal area for many security researchers over the last decade. There have been a large number of models, and many rich speciﬁcation language...

András Belokosztolszki, David M. Eyers, Wei...

claim paper

Read More »

« Prev « First page 278 / 3168 Last » Next »