Search Sciweavers | Sciweavers

2377 search results - page 119 / 476

» Hybrid Systems in TLA

104

click to vote

ATAL
2005
Springer

90views Intelligent Agents» more ATAL 2005»

A hybrid transfer of control model for adjustable autonomy multiagent systems

16 years 18 days ago

Download www.cs.huji.ac.il

Michael Y. K. Cheng, Robin Cohen

claim paper

Read More »

139

click to vote

FORMATS
2005
Springer

88views Formal Methods» more FORMATS 2005»

Automatic Rectangular Refinement of Affine Hybrid Systems

16 years 17 days ago

Download www.ulb.ac.be

Laurent Doyen, Thomas A. Henzinger, Jean-Fran&cced...

claim paper

Read More »

159

click to vote

MATA
2005
Springer

157views Communications» more MATA 2005»

APHIDS++: Evolution of A Programmable Hybrid Intrusion Detection System

16 years 16 days ago

Download www.cs.ubc.ca

Mohammed S. Alam, Abhishek Gupta, Jake Wires, Son ...

claim paper

Read More »

184

click to vote

SAFECOMP
2004
Springer

242views Security Privacy» more SAFECOMP 2004»

A Hybrid Testing Methodology for Railway Control Systems

16 years 12 days ago

Download www.math.unipd.it

Giuseppe De Nicola, Pasquale di Tommaso, Rosaria E...

claim paper

Read More »

123

click to vote

ATS
2003
IEEE

84views Hardware» more ATS 2003»

Test Time Minimization for Hybrid BIST of Core-Based Systems

16 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers