Search Sciweavers | Sciweavers

14360 search results - page 144 / 2872

» Time Modeling in MARTE

click to vote

ECML
2007
Springer

137views Machine Learning» more ECML 2007»

Learning Partially Observable Markov Models from First Passage Times

14 years 4 months ago

Download www.info.ucl.ac.be

Jérôme Callut, Pierre Dupont

claim paper

Read More »

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

14 years 4 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

click to vote

FSE
2007
Springer

140views Cryptology» more FSE 2007»

An Analytical Model for Time-Driven Cache Attacks

14 years 4 months ago

Download www.iacr.org

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

claim paper

Read More »

click to vote

PAIRING
2007
Springer

119views Cryptology» more PAIRING 2007»

Practical Time Capsule Signatures in the Standard Model from Bilinear Maps

14 years 4 months ago

Download www.dice.ucl.ac.be

Benoît Libert, Jean-Jacques Quisquater

claim paper

Read More »

click to vote

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers