Search Sciweavers | Sciweavers

63 search results - page 1 / 13

» arts 1999

click to vote

ARTS
1997
Springer

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

Refining Interval Temporal Logic Specifications

13 years 8 months ago

Download www.cse.dmu.ac.uk

Antonio Cau, Hussein Zedan

claim paper

Read More »

click to vote

ARTS
1997
Springer

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

High-Level Execution Time Analysis

13 years 8 months ago

Download vclab.gist.ac.kr

Farn Wang

claim paper

Read More »

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

13 years 9 months ago

Download www.inf.tu-dresden.de

Christel Baier, Bettina Engelen

claim paper

Read More »

click to vote

FM
1999
Springer

103views Formal Methods» more FM 1999»

Verifying a Distributed Database Lookup Manager Written in Erlang

13 years 9 months ago

Download www.erlang.se

Thomas Arts, Mads Dam

claim paper

Read More »

click to vote

ICMCS
1999
IEEE

102views Multimedia» more ICMCS 1999»

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

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers