Search Sciweavers | Sciweavers

17129 search results - page 393 / 3426

» Applied Computing

146

click to vote

ICSOC
2004
Springer

67views Applied Computing» more ICSOC 2004»

Sound development of secure service-based systems

16 years 3 days ago

Download www4.in.tum.de

Martin Deubler, Johannes Grünbauer, Jan J&uum...

claim paper

Read More »

110

click to vote

ICTAC
2004
Springer

79views Applied Computing» more ICTAC 2004»

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

16 years 3 days ago

Download www.loria.fr

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

claim paper

Read More »

118

click to vote

ICTAC
2004
Springer

107views Applied Computing» more ICTAC 2004»

Atomic Components

16 years 3 days ago

Download www.cs.waikato.ac.nz

Steve Reeves, David Streader

claim paper

Read More »

139

click to vote

ICTAC
2004
Springer

87views Applied Computing» more ICTAC 2004»

Verifying Linear Duration Constraints of Timed Automata

16 years 3 days ago

Download www.iist.unu.edu

Pham Hong Thai, Dang Van Hung

claim paper

Read More »

141

click to vote

ICTAC
2004
Springer

108views Applied Computing» more ICTAC 2004»

An Approach to Integration Testing Based on Data Flow Specifications

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers