Sciweavers

10263 search results - page 144 / 2053
» From Use Cases to System Operation Specifications
Sort
View
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 4 months ago
A Unique "Nonnegative" Solution to an Underdetermined System: from Vectors to Matrices
Abstract--This paper investigates the uniqueness of a nonnegative vector solution and the uniqueness of a positive semidefinite matrix solution to underdetermined linear systems. A...
Meng Wang, Weiyu Xu, Ao Tang
SIGMOD
2010
ACM
232views Database» more  SIGMOD 2010»
15 years 6 months ago
Optimizing content freshness of relations extracted from the web using keyword search
An increasing number of applications operate on data obtained from the Web. These applications typically maintain local copies of the web data to avoid network latency in data acc...
Mohan Yang, Haixun Wang, Lipyeow Lim, Min Wang
CORR
2011
Springer
198views Education» more  CORR 2011»
15 years 1 months ago
Quire: Lightweight Provenance for Smart Phone Operating Systems
Smartphone apps often run with full privileges to access the network and sensitive local resources, making it difficult for remote systems to have any trust in the provenance of ...
Michael Dietz, Shashi Shekhar, Yuliy Pisetsky, Anh...
BMCBI
2007
79views more  BMCBI 2007»
15 years 6 months ago
Semi-supervised class discovery using quantitative phenotypes - CVD as a case study
ent> <title> <p>Highlights from the Third International Society for Computational Biology (ISCB) Student Council Symposium at the Fifteenth Annual International Conf...
Israel Steinfeld, Roy Navon, Diego Ardigò, ...
COMPSEC
2008
116views more  COMPSEC 2008»
15 years 6 months ago
Enforcing memory policy specifications in reconfigurable hardware
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...
Ted Huffmire, Timothy Sherwood, Ryan Kastner, Timo...