Search Sciweavers | Sciweavers

2850 search results - page 7 / 570

» On Timed Models and Full Abstraction

146

click to vote

CORR
2007
Springer

124views Education» more CORR 2007»

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

15 years 5 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 »

131

click to vote

DATE
2002
IEEE

74views Hardware» more DATE 2002»

Extending Synchronous Languages for Generating Abstract Real-Time Models

15 years 11 months ago

Download www.cs.york.ac.uk

George Logothetis, Klaus Schneider

claim paper

Read More »

154

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

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

15 years 10 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

136

click to vote

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 10 months ago

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

133

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers