Sciweavers

15 search results - page 1 / 3

» ictac 2004

7

ICTAC
2004
Springer

107views Applied Computing» more ICTAC 2004»

Atomic Components

13 years 10 months ago

Atomic Components

Download www.cs.waikato.ac.nz

Steve Reeves, David Streader

claim paper

Read More »

9

ICTAC
2004
Springer

87views Applied Computing» more ICTAC 2004»

Verifying Linear Duration Constraints of Timed Automata

13 years 10 months ago

Verifying Linear Duration Constraints of Timed Automata

Download www.iist.unu.edu

Pham Hong Thai, Dang Van Hung

claim paper

Read More »

9

ICTAC
2004
Springer

108views Applied Computing» more ICTAC 2004»

An Approach to Integration Testing Based on Data Flow Specifications

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

7

ICTAC
2004
Springer

79views Applied Computing» more ICTAC 2004»

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

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

12

ICTAC
2004
Springer

89views Applied Computing» more ICTAC 2004»

A Calculus for Shapes in Time and Space

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