15779 search results - page 2913 / 3156 » Change-oriented software engineering |
102
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
78
Voted
TEI
2009
ACM
15 years 7 months ago
2009
ACM
Today a growing community of DIY-practitioners, artists and designers are using microcontroller-based toolkits to express their concepts for digital artifacts by building them. Ho...
101
Voted
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
85
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...