Search Sciweavers | Sciweavers

5639 search results - page 10 / 1128

» Timed Abstract Non-interference

103

click to vote

TACAS
2004
Springer

62views Algorithms» more TACAS 2004»

Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

15 years 11 months ago

Download www.lsv.ens-cachan.fr

Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Lar...

claim paper

Read More »

109

click to vote

ICDCSW
2003
IEEE

99views Computer Networks» more ICDCSW 2003»

A Communication Architecture and Programming Abstractions for Real-Time Embedded Sensor Networks

15 years 11 months ago

Download www.cs.virginia.edu

Tarek F. Abdelzaher, Jack Stankovic, Sang Hyuk Son...

claim paper

Read More »

131

click to vote

DATE
2002
IEEE

74views Hardware» more DATE 2002»

Extending Synchronous Languages for Generating Abstract Real-Time Models

15 years 10 months ago

Download www.cs.york.ac.uk

George Logothetis, Klaus Schneider

claim paper

Read More »

104

click to vote

AIME
2001
Springer

74views Artificial Intelligence» more AIME 2001»

Using Time-Oriented Data Abstraction Methods to Optimize Oxygen Supply for Neonates

15 years 10 months ago

Download www.ifs.tuwien.ac.at

Andreas Seyfang, Silvia Miksch, Werner Horn, Micha...

claim paper

Read More »

133

click to vote

CAV
2001
Springer

100views Hardware» more CAV 2001»

Automatic Abstraction for Verification of Timed Circuits and Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers