8496 search results - page 226 / 1700 » Problem Solving and Complex Systems |
135
click to vote
KBSE
1998
IEEE
15 years 6 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...
117
click to vote
INFOCOM
2010
IEEE
15 years 28 days ago
2010
IEEE
Abstract— The sparse nature of location finding problem makes the theory of compressive sensing desirable for indoor positioning in Wireless Local Area Networks (WLANs). In this...
128
click to vote
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
115
click to vote
WSC
1998
15 years 3 months ago
1998
This paper introduces the Visual Simulation Environment (VSE). VSE has been developed under research funding, primarily from the U.S. Navy for over a decade. It enables discrete-e...
165
click to vote
TCC
2007
Springer
15 years 8 months ago
2007
Springer
In this work we present secure two-party protocols for various core problems in linear algebra. Our main result is a protocol to obliviously decide singularity of an encrypted matr...