Computer Networks | Sciweavers

39

ADHOCNETS
2010
Springer

235views Computer Networks» more ADHOCNETS 2010»

Guaranteeing Reliable Communications in Mesh Beacon-Enabled IEEE802.15.4 WSN for Industrial Monitoring Applications

13 years 8 months ago

Wireless Sensor Networks (WSN) are a very promising solution for industrial monitoring applications in terms of safety, costs, efficiency and productivity. However, in order to mov...

Berta Carballido Villaverde, Susan Rea, Dirk Pesch

claim paper

Read More »

45

click to vote

ADHOCNETS
2010
Springer

276views Computer Networks» more ADHOCNETS 2010»

DCLA: A Duty-Cycle Learning Algorithm for IEEE 802.15.4 Beacon-Enabled WSNs

13 years 8 months ago

Download www.aws.cit.ie

The current specification for IEEE 802.15.4 beacon-enabled networks does not define how active and sleep schedules should be configured in order to achieve the optimal network perf...

Rodolfo de Paz Alberola, Dirk Pesch

claim paper

Read More »

31

click to vote

FAC
2010

93views more FAC 2010»

Inter-process buffers in separation logic with rely-guarantee

13 years 9 months ago

Download www.eis.mdx.ac.uk

Separation logic allows simple proofs of concurrent algorithms which use blocking mechanisms such as semaphores. It can even deal with non-blocking algorithms. With the addition of...

Richard Bornat, Hasan Amjad

claim paper

Read More »

45

click to vote

FAC
2010

106views more FAC 2010»

Automatic verification of Java programs with dynamic frames

13 years 9 months ago

Download lirias.kuleuven.be

Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...

Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Sc...

claim paper

Read More »

45

click to vote

FAC
2010

140views more FAC 2010»

From a domain analysis to the specification and detection of code and design smells

13 years 9 months ago

Download www.naouelmoha.net

Code and design smells are recurring design problems in software systems that must be identified to avoid their possible negative consequences on development and maintenance. Conse...

Naouel Moha, Yann-Gaël Guéhéneu...

claim paper

Read More »

33

click to vote

FAC
2010

93views more FAC 2010»

Verification and falsification of programs with loops using predicate abstraction

13 years 9 months ago

Download www.kroening.com

Daniel Kroening, Georg Weissenbacher

claim paper

Read More »

40

click to vote

FAC
2010

121views more FAC 2010»

Blaming the client: on data refinement in the presence of pointers

13 years 9 months ago

Download www.eecs.qmul.ac.uk

Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...

Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith...

claim paper

Read More »

35

click to vote

FAC
2010

107views more FAC 2010»

Atomic actions, and their refinements to isolated protocols

13 years 9 months ago

Download www.cs.man.ac.uk

Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...

Richard Banach, Gerhard Schellhorn

claim paper

Read More »

33

click to vote

EXPERT
2010

80views more EXPERT 2010»

Deductive and Inductive Stream Reasoning for Semantic Social Media Analytics

13 years 9 months ago

Download wwwbrauer.in.tum.de

Davide Francesco Barbieri, Daniele Braga, Stefano ...

claim paper