Sciweavers

12 search results - page 1 / 3

» forte 2000

114

FORTE
2000

75views Formal Methods» more FORTE 2000»

Simulating Multicast Transport Protocols in Estelle

15 years 4 months ago

Simulating Multicast Transport Protocols in Estelle

Download www-lor.int-evry.fr

Justin Templemore-Finlayson, Eugen Borcoci

claim paper

Read More »

98

FORTE
2000

81views Formal Methods» more FORTE 2000»

Implementing CCS in Maude

15 years 4 months ago

Implementing CCS in Maude

Download maude.sip.ucm.es

Alberto Verdejo, Narciso Martí-Oliet

claim paper

Read More »

116

WIA
2000
Springer

99views Artificial Intelligence» more WIA 2000»

A Basis for Looping Extensions to Discriminating-Reverse Parsing

15 years 7 months ago

A Basis for Looping Extensions to Discriminating-Reverse Parsing

Download serdis.dis.ulpgc.es

Jacques Farré, José Fortes Gá...

claim paper

Read More »

97

Voted

SC
2000
ACM

151views Applied Computing» more SC 2000»

A Scalable SNMP-Based Distributed Monitoring System For Heterogeneous Network Computing

15 years 7 months ago

A Scalable SNMP-Based Distributed Monitoring System For Heterogeneous Network Computing

Download www.sc2000.org

Rajesh Subramanyan, José Miguel-Alonso, Jos...

claim paper

Read More »

114

Voted

FORTE
2000

91views Formal Methods» more FORTE 2000»

On Test Derivation from Partial Specifications

15 years 4 months ago

On Test Derivation from Partial Specifications

Download www.crim.ca

The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...

Alexandre Petrenko, Nina Yevtushenko

claim paper

Read More »

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