Sciweavers

15 search results - page 1 / 3

» ictac 2004

25

ICTAC
2004
Springer

107views Applied Computing» more ICTAC 2004»

Atomic Components

14 years 4 months ago

Atomic Components

Download www.cs.waikato.ac.nz

Steve Reeves, David Streader

claim paper

Read More »

26

ICTAC
2004
Springer

87views Applied Computing» more ICTAC 2004»

Verifying Linear Duration Constraints of Timed Automata

14 years 4 months ago

Verifying Linear Duration Constraints of Timed Automata

Download www.iist.unu.edu

Pham Hong Thai, Dang Van Hung

claim paper

Read More »

23

ICTAC
2004
Springer

108views Applied Computing» more ICTAC 2004»

An Approach to Integration Testing Based on Data Flow Specifications

14 years 4 months ago

An Approach to Integration Testing Based on Data Flow Specifications

Download cis.k.hosei.ac.jp

Yuting Chen, Shaoying Liu, Fumiko Nagoya

claim paper

Read More »

25

ICTAC
2004
Springer

79views Applied Computing» more ICTAC 2004»

Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn

14 years 4 months ago

Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn

Download www.loria.fr

Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tr...

claim paper

Read More »

31

ICTAC
2004
Springer

89views Applied Computing» more ICTAC 2004»

A Calculus for Shapes in Time and Space

14 years 4 months ago

A Calculus for Shapes in Time and Space

Download csd.informatik.uni-oldenburg.de

We present a spatial and temporal logic based on Duration Calculus for the speciﬁcation and veriﬁcation of mobile real-time systems. We demonstrate the use of the formalism and...

Andreas Schäfer

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »