10159 search results - page 1804 / 2032 » System Design Validation Using Formal Models |
214
click to vote
MOBIHOC
2005
ACM
16 years 6 months ago
2005
ACM
The throughput of wireless networks can be significantly improved by multi-channel communications compared with single-channel communications since the use of multiple channels ca...
180
click to vote
WIKIS
2006
ACM
16 years 17 days ago
2006
ACM
Wikipedia is the world’s largest collaboratively edited source of encyclopaedic knowledge. But in spite of its utility, its contents are barely machine-interpretable. Structural...
187
click to vote
JCDL
2004
ACM
16 years 1 days ago
2004
ACM
Creating, maintaining, or using a digital library requires the manipulation of digital documents. Information workspaces provide a visual representation allowing users to collect,...
163
click to vote
JFP
2010
15 years 5 months ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
209
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...