19986 search results - page 3762 / 3998 » On Designing Software Architectures |
140
click to vote
ICSE
2004
IEEE-ACM
16 years 4 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...
120
click to vote
ICFP
2007
ACM
16 years 3 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...
157
Voted
MOBISYS
2008
ACM
16 years 3 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...
172
click to vote
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
Data races indicate serious concurrency bugs such as order, atomicity, and sequential consistency violations. Races are difficult to find and fix, often manifesting only in deploy...
170
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...