Sciweavers

3368 search results - page 488 / 674
» The Complexity of Query Reliability
Sort
View
PEPM
2009
ACM
16 years 3 months ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer
CHI
2010
ACM
16 years 1 months ago
A strategy-centric approach to the design of end-user debugging tools
End-user programmers’ code is notoriously buggy. This problem is amplified by the increasing complexity of end users’ programs. To help end users catch errors early and reliab...
Valentina Grigoreanu, Margaret M. Burnett, George ...
ASIAMS
2009
IEEE
16 years 1 months ago
A Case Study of Networks Simulation Tools for Wireless Networks
Networking community is largely depend on simulation to evaluate the behavior and performance of protocols for wireless networks, simulations are a good compromise between cost an...
Saurabh Mehta, Niamat Ullah, Humaun Kabir, Mst. Na...
HICSS
2009
IEEE
130views Biometrics» more  HICSS 2009»
16 years 1 months ago
A Systematic Approach to Improve Communication for Emergency Response
The importance of communication, information sharing and interoperability in an emergency response scenario have risen recently based on the frequency of disasters throughout the ...
Raheleh B. Dilmaghani, Ramesh R. Rao
HICSS
2009
IEEE
114views Biometrics» more  HICSS 2009»
16 years 1 months ago
Reexamining Threat Rigidity: Implications for Design
Emergencies today seem larger, more complex, and unique than those of the past. Responding to them requires flexibility and creativity not easily achieved. The threat-rigidity the...
Linda Plotnick, Murray Turoff, Gerd Van Den Eede