Search Sciweavers | Sciweavers

477 search results - page 5 / 96

» hybrid 2005

click to vote

ACISP
2005
Springer

101views Security Privacy» more ACISP 2005»

Hybrid Signcryption Schemes with Insider Security

13 years 11 months ago

Download www.isg.rhul.ac.uk

Alexander W. Dent

claim paper

Read More »

click to vote

ATAL
2005
Springer

90views Intelligent Agents» more ATAL 2005»

A hybrid transfer of control model for adjustable autonomy multiagent systems

13 years 11 months ago

Download www.cs.huji.ac.il

Michael Y. K. Cheng, Robin Cohen

claim paper

Read More »

click to vote

CSL
2005
Springer

89views Automated Reasoning» more CSL 2005»

On the Complexity of Hybrid Logics with Binders

13 years 11 months ago

Download www.illc.uva.nl

Balder ten Cate, Massimo Franceschet

claim paper

Read More »

click to vote

FORMATS
2005
Springer

88views Formal Methods» more FORMATS 2005»

Automatic Rectangular Refinement of Affine Hybrid Systems

13 years 11 months ago

Download www.ulb.ac.be

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

claim paper

Read More »

click to vote

FROCOS
2005
Springer

92views Control Systems» more FROCOS 2005»

Hybrid CSP Solving

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers