Search Sciweavers | Sciweavers

2775 search results - page 9 / 555

» Visualizing abstract events

click to vote

EUROPAR
1997
Springer

76views Distributed And Parallel Com...» more EUROPAR 1997»

Modeling the Dynamic Behavior of Objects on Events, Messages and Methods (Extended Abstract)

13 years 11 months ago

Download www.cs.sunysb.edu

Ruth Breu, Radu Grosu

claim paper

Read More »

click to vote

FORMATS
2006
Springer

79views Formal Methods» more FORMATS 2006»

Refinements and Abstractions of Signal-Event (Timed) Languages

13 years 11 months ago

Download www.lsv.ens-cachan.fr

Béatrice Bérard, Paul Gastin, Antoin...

claim paper

Read More »

click to vote

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

13 years 9 months ago

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

click to vote

LREC
2008

94views Education» more LREC 2008»

Mapping Events and Abstract Entities from PAROLE-SIMPLE-CLIPS to ItalWordNet

13 years 8 months ago

Download www.lrec-conf.org

Adriana Roventini, Nilda Ruimy

claim paper

Read More »

click to vote

SMR
2008

81views more SMR 2008»

An automated approach for abstracting execution logs to execution events

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers