Search Sciweavers | Sciweavers

1699 search results - page 18 / 340

» A timed semantics of Orc

133

click to vote

SASO
2007
IEEE

94views Control Systems» more SASO 2007»

Continuous Space-Time Semantics Allow Adaptive Program Execution

16 years 27 days ago

Download web.mit.edu

Jonathan Bachrach, Jacob Beal, Takeshi Fujiwara

claim paper

Read More »

120

click to vote

ATVA
2007
Springer

88views Hardware» more ATVA 2007»

Branching vs. Linear Time: Semantical Perspective

16 years 25 days ago

Download www.cs.rice.edu

Sumit Nain, Moshe Y. Vardi

claim paper

Read More »

112

click to vote

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

Probabilistic and Topological Semantics for Timed Automata

16 years 24 days ago

Download www.lsv.ens-cachan.fr

Christel Baier, Nathalie Bertrand, Patricia Bouyer...

claim paper

Read More »

115

click to vote

ICEIS
2006
IEEE

85views Information Technology» more ICEIS 2006»

Client Synthesis for Web Services by Way of a Timed Semantics

16 years 20 days ago

Download www.win.tue.nl

Serge Haddad, Patrice Moreaux, Sylvain Rampacek

claim paper

Read More »

116

click to vote

FSTTCS
2005
Springer

99views Software Engineering» more FSTTCS 2005»

On Sampled Semantics of Timed Systems

16 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers