13137 search results - page 2440 / 2628 » A Science of Software Design |
159
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
172
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
166
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Financial companies, engineering firms and even scientists create increasingly larger spreadsheets and spreadsheet programs. The creators of large spreadsheets make errors and mus...
143
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
190
click to vote
MOBISYS
2008
ACM
16 years 5 months ago
2008
ACM
Many people desire ubiquitous access to their personal computing environments. We present a system in which a user leverages a personal mobile device to establish trust in a publi...