4350 search results - page 727 / 870 » Case studies for contract-based systems |
119
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
In the domain of logistics, Radio Frequency Identification (RFID) promises a plethora of benefits due to an enhanced efficiency, accuracy, and preciseness of object identification...
120
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
Systems software uses conditional compilation to manage crosscutting concerns in a very fine-grained and efficient way, but at the expense of tangled and scattered conditional c...
126
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
Desktop client applications interact with both local and remote resources. This is both a benefit in terms of the rich features desktop clients can provide, but also a security r...
140
Voted
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
129
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Software entropy is a phenomenon where repeated changes gradually degrade the structure of the system, making it hard to understand and maintain. This phenomenon imposes challenge...