Search Sciweavers | Sciweavers

14360 search results - page 152 / 2872

» Time Modeling in MARTE

144

click to vote

MPC
1998
Springer

140views Mathematics» more MPC 1998»

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

15 years 10 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 »

137

click to vote

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

15 years 10 months ago

Download www.brics.dk

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

claim paper

Read More »

136

click to vote

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 10 months ago

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

128

click to vote

SIGIR
1997
ACM

100views Information Technology» more SIGIR 1997»

Time, Relevance and Interaction Modelling for Information Retrieval

15 years 10 months ago

Download personal.cis.strath.ac.uk

Mark D. Dunlop

claim paper

Read More »

136

Voted

COMPOS
1997
Springer

122views Formal Methods» more COMPOS 1997»

Modeling Urgency in Timed Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers