Search Sciweavers | Sciweavers

14360 search results - page 152 / 2872

» Time Modeling in MARTE

click to vote

MPC
1998
Springer

140views Mathematics» more MPC 1998»

A Set-Theoretic Model for Real-Time Specification and Reasoning

14 years 2 months ago

Download sky.fit.qut.edu.au

Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...

Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel W...

claim paper

Read More »

click to vote

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

14 years 2 months ago

Download www.brics.dk

Luca Aceto, Augusto Burgueño, Kim Guldstran...

claim paper

Read More »

click to vote

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

14 years 2 months ago

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

click to vote

SIGIR
1997
ACM

100views Information Technology» more SIGIR 1997»

Time, Relevance and Interaction Modelling for Information Retrieval

14 years 2 months ago

Download personal.cis.strath.ac.uk

Mark D. Dunlop

claim paper

Read More »

click to vote

COMPOS
1997
Springer

122views Formal Methods» more COMPOS 1997»

Modeling Urgency in Timed Systems

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers