Search Sciweavers | Sciweavers

14360 search results - page 144 / 2872

» Time Modeling in MARTE

135

click to vote

ECML
2007
Springer

137views Machine Learning» more ECML 2007»

Learning Partially Observable Markov Models from First Passage Times

16 years 14 days ago

Download www.info.ucl.ac.be

Jérôme Callut, Pierre Dupont

claim paper

Read More »

148

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

16 years 13 days ago

Download www.lsv.ens-cachan.fr

Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Ma...

claim paper

Read More »

125

click to vote

FSE
2007
Springer

140views Cryptology» more FSE 2007»

An Analytical Model for Time-Driven Cache Attacks

16 years 13 days ago

Download www.iacr.org

Kris Tiri, Onur Aciiçmez, Michael Neve, Fle...

claim paper

Read More »

143

click to vote

PAIRING
2007
Springer

119views Cryptology» more PAIRING 2007»

Practical Time Capsule Signatures in the Standard Model from Bilinear Maps

16 years 12 days ago

Download www.dice.ucl.ac.be

Benoît Libert, Jean-Jacques Quisquater

claim paper

Read More »

139

click to vote

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

16 years 12 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers