2251 search results - page 283 / 451 » Specification and Implementation Problems for C |
163
click to vote
MOBIHOC
2010
ACM
15 years 2 months ago
2010
ACM
Intrusion detection is an important problem in sensor networks. Prior works in static sensor environments show that constructing sensor barriers with random sensor deployment can ...
138
Voted
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
294
click to vote
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
171
Voted
KDD
2003
ACM
16 years 5 months ago
2003
ACM
Airlines routinely overbook flights based on the expectation that some fraction of booked passengers will not show for each flight. Accurate forecasts of the expected number of no...
233
Voted
MOBIHOC
2002
ACM
16 years 4 months ago
2002
ACM
Auto-configuration is a desirable goal in implementing mobile ad hoc networks. Specifically, automated dynamic assignment (without manual intervention) of IP addresses is desirabl...