Search Sciweavers | Sciweavers

31387 search results - page 376 / 6278

» Abstracting abstract machines

162

click to vote

ICSE
2011
IEEE-ACM

191views Software Engineering» more ICSE 2011»

Program abstractions for behaviour validation

14 years 10 months ago

Download publicaciones.dc.uba.ar

Guido de Caso, Víctor A. Braberman, Diego G...

claim paper

Read More »

172

click to vote

IEAAIE
2011
Springer

201views Artificial Intelligence» more IEAAIE 2011»

Specification of Interlevel Relations for Agent Models in Multiple Abstraction Dimensions

14 years 10 months ago

Download www.few.vu.nl

Jan Treur

claim paper

Read More »

176

click to vote

IPSN
2011
Springer

253views Sensor Networks» more IPSN 2011»

Poster abstract: Message position modulation for power saving and increased bandwidth in sensor networks

14 years 10 months ago

Download dcg.ethz.ch

Johannes Schneider, Roger Wattenhofer

claim paper

Read More »

326

click to vote

IPSN
2011
Springer

467views Sensor Networks» more IPSN 2011»

Demo abstract: Debugging wireless sensor network simulations with YETI and COOJA

14 years 10 months ago

Download dcg.ethz.ch

Richard Huber, Philipp Sommer, Roger Wattenhofer

claim paper

Read More »

307

click to vote

IPSN
2011
Springer

430views Sensor Networks» more IPSN 2011»

Poster abstract: Three plane localization

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers