395 search results - page 46 / 79 » Program abstractions for behaviour validation |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract—Carrier Sense Multiple Access with Enhanced Collision Avoidance (CSMA/ECA) is a distributed MAC protocol that allows collision-free access to the medium in WLAN. The onl...
ENTCS
2010
13 years 8 months ago
2010
Many biological phenomena are inherently multiscale, i.e. they are characterised by interactions involving different scales at the same time. This is the case of bone remodelling,...
TGC
2007
Springer
14 years 5 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
ICFEM
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
ESOP
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...