Sciweavers

19003 search results - page 138 / 3801
» We Need Assurance!
Sort
View
199
Voted
CC
2005
Springer
134views System Software» more  CC 2005»
16 years 15 days ago
Jazz: A Tool for Demand-Driven Structural Testing
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
Jonathan Misurda, James A. Clause, Juliya L. Reed,...
175
Voted
ICN
2005
Springer
16 years 14 days ago
Application-Driven Node Management in Multihop Wireless Sensor Networks
A strategy for energy saving in wireless sensor networks is to manage the duty cycle of sensors, by dynamically selecting a different set of nodes to be active in every moment. We ...
Flávia Coimbra Delicato, Fábio Prott...
200
Voted
OOPSLA
2005
Springer
16 years 13 days ago
AutAT: an eclipse plugin for automatic acceptance testing of web applications
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...
Christian Schwarz, Stein Kåre Skytteren, Tro...
NSPW
2004
ACM
16 years 11 days ago
Symmetric behavior-based trust: a new paradigm for internet computing
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
Vivek Haldar, Michael Franz
COCO
2004
Springer
79views Algorithms» more  COCO 2004»
16 years 11 days ago
Relativized NP Search Problems and Propositional Proof Systems
An NP search problem is the problems of finding a witness to the given NP predicate, and TFNP is the class of total NP search problems. TFNP contains a number of subclasses conta...
Josh Buresh-Oppenheim, Tsuyoshi Morioka