Search Sciweavers | Sciweavers

7064 search results - page 59 / 1413

» From States to Histories

click to vote

ECOOPW
1997
Springer

88views Distributed And Parallel Com...» more ECOOPW 1997»

Extracting State Diagrams from Legacy Systems

14 years 2 months ago

Download www.cs.tut.fi

Tarja Systä, Kai Koskimies

claim paper

Read More »

click to vote

TACAS
1997
Springer

146views Algorithms» more TACAS 1997»

Compositional State Space Generation from Lotos Programs

14 years 2 months ago

Download www-verimag.imag.fr

This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...

Jean-Pierre Krimm, Laurent Mounier

claim paper

Read More »

click to vote

MOVEP
2000

122views Hardware» more MOVEP 2000»

Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography

14 years 1 months ago

Download www.crim.ca

Alexandre Petrenko

claim paper

Read More »

click to vote

AAAI
2007

93views Intelligent Agents» more AAAI 2007»

Real-Time Identification of Operating Room State from Video

14 years 9 days ago

Download www.aaai.org

Beenish Bhatia, Tim Oates, Yan Xiao, Peter Fu-Ming...

claim paper

Read More »

click to vote

CNSR
2008
IEEE

130views Communications» more CNSR 2008»

Could Proactive Link-State Routed Wireless Networks Benefit from Local Fast Reroute?

13 years 11 months ago

Download heim.ifi.uio.no

The communication performance in wireless networks is often heavily influenced by failures caused by node mobility and radio disturbance. Proactive linkstate routing protocols lik...

Audun Fosselie Hansen, Geir Egeland, Paal Engelsta...

claim paper

Read More »

« Prev « First page 59 / 1413 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers