Sciweavers

113 search results - page 3 / 23
» Interface contracts for TinyOS
Sort
View
DATE
2010
IEEE
148views Hardware» more  DATE 2010»
13 years 10 months ago
Scoped identifiers for efficient bit aligned logging
Abstract--Detailed diagnostic data is a prerequisite for debugging problems and understanding runtime performance in distributed wireless embedded systems. Severe bandwidth limitat...
Roy Shea, Mani B. Srivastava, Young Cho
PERCOM
2007
ACM
13 years 5 months ago
An application adaptation layer for wireless sensor networks
In wireless sensor networks, poor performance or unexpected behavior may be experienced for several reasons, such as trivial deterioration of sensing hardware, unsatisfactory impl...
Marco Avvenuti, Paolo Corsini, Paolo Masci, Alessi...
DLS
2009
196views Languages» more  DLS 2009»
13 years 3 months ago
Contracts for first-class modules
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
T. Stephen Strickland, Matthias Felleisen
ECOOPW
1997
Springer
13 years 10 months ago
Reuse Contracts as Component Interface Descriptions
Abstract. Current interface descriptions are poor in describing components, because they only provide an external view on a component and they do not lay down how components intera...
Koen De Hondt, Carine Lucas, Patrick Steyaert
ICSM
2007
IEEE
14 years 2 days ago
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
Shan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, Jiasu ...