924 search results - page 161 / 185 » A Probabilistic Approach to Language Change |
121
click to vote
SAFECOMP
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
187
click to vote
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
The Boolean semantics of SQL queries cannot adequately capture the "fuzzy" preferences and "soft" criteria required in non-traditional data retrieval applicati...
182
click to vote
VL
2010
IEEE
15 years 8 days ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
134
click to vote
SAC
2004
ACM
15 years 7 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
126
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...