Sciweavers

18 search results - page 1 / 4

» forte 2009

2

FORTE
2009

96views Formal Methods» more FORTE 2009»

A Type Graph Model for Java Programs

12 years 7 months ago

A Type Graph Model for Java Programs

Download eprints.eemcs.utwente.nl

Arend Rensink, Eduardo Zambon

claim paper

Read More »

2

FORTE
2009

135views Formal Methods» more FORTE 2009»

Dynamic Symbolic Execution of Distributed Concurrent Objects

12 years 7 months ago

Dynamic Symbolic Execution of Distributed Concurrent Objects

Download www.iist.unu.edu

Andreas Griesmayer, Bernhard K. Aichernig, Einar B...

claim paper

Read More »

4

CCIA
2009
Springer

121views Artificial Intelligence» more CCIA 2009»

A New Lexical Chain Algorithm Used for Automatic Summarization

12 years 10 months ago

A New Lexical Chain Algorithm Used for Automatic Summarization

Download nlp.lsi.upc.edu

Edgar González, María Fuentes Fort

claim paper

Read More »

2

ICC
2009
IEEE

91views Communications» more ICC 2009»

Distributed Delay Estimation and Call Admission Control in IEEE 802.11 Wireless LANs

12 years 7 months ago

Distributed Delay Estimation and Call Admission Control in IEEE 802.11 Wireless LANs

Download ants.iis.sinica.edu.tw

Kenta Yasukawa, Andrea G. Forte, Henning Schulzrin...

claim paper

Read More »

4

FORTE
2009

146views Formal Methods» more FORTE 2009»

Epistemic Logic for the Applied Pi Calculus

12 years 7 months ago

Epistemic Logic for the Applied Pi Calculus

Download www.cs.uiuc.edu

We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...

Rohit Chadha, Stéphanie Delaune, Steve Krem...

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »