Search Sciweavers | Sciweavers

63 search results - page 1 / 13

» arts 1999

195

click to vote

ARTS
1997
Springer

110views Distributed And Parallel Com...» more ARTS 1997»

Refining Interval Temporal Logic Specifications

15 years 11 months ago

Download www.cse.dmu.ac.uk

Antonio Cau, Hussein Zedan

claim paper

Read More »

204

click to vote

ARTS
1997
Springer

111views Distributed And Parallel Com...» more ARTS 1997»

High-Level Execution Time Analysis

15 years 11 months ago

Download vclab.gist.ac.kr

Farn Wang

claim paper

Read More »

187

click to vote

ARTS
1999
Springer

242views Distributed And Parallel Com...» more ARTS 1999»

Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach

15 years 12 months ago

Download www.inf.tu-dresden.de

Christel Baier, Bettina Engelen

claim paper

Read More »

190

Voted

FM
1999
Springer

103views Formal Methods» more FM 1999»

Verifying a Distributed Database Lookup Manager Written in Erlang

15 years 12 months ago

Download www.erlang.se

Thomas Arts, Mads Dam

claim paper

Read More »

161

click to vote

ICMCS
1999
IEEE

102views Multimedia» more ICMCS 1999»

Towards Multimedia Orchestra: A Proposal for an Interactive Multimedia Art Creation System

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers