Search Sciweavers | Sciweavers

2850 search results - page 7 / 570

» On Timed Models and Full Abstraction

click to vote

CORR
2007
Springer

124views Education» more CORR 2007»

Cellular Systems with Full-Duplex Amplify-and-Forward Relaying and Cooperative Base-Stations

13 years 7 months ago

Download web.njit.edu

— In this paper the beneﬁts provided by multi-cell processing of signals transmitted by mobile terminals which are received via dedicated relay terminals (RTs) are assessed. Un...

Oren Somekh, Osvaldo Simeone, H. Vincent Poor, Shl...

claim paper

Read More »

click to vote

DATE
2002
IEEE

74views Hardware» more DATE 2002»

Extending Synchronous Languages for Generating Abstract Real-Time Models

14 years 10 days ago

Download www.cs.york.ac.uk

George Logothetis, Klaus Schneider

claim paper

Read More »

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

13 years 11 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

click to vote

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

13 years 11 months ago

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers