113 search results - page 4 / 23 » Interface contracts for TinyOS |
101
click to vote
CAV
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. BeepBeep is a lightweight runtime monitor for Ajax web applications. Interface specifications are expressed internally in an extension of LTL with first-order quantificat...
CBSE
2007
Springer
15 years 6 months ago
2007
Springer
CACM
1998
14 years 11 months ago
1998
: Current user interfaces for textual database searching leave much to be desired: individually, they are often confusing, and as a group, they are seriously inconsistent. We propo...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
110
click to vote
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...