Sciweavers

1792 search results - page 314 / 359
» Requirements Capture with RCAT
Sort
View
JAR
2008
115views more  JAR 2008»
15 years 5 months ago
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
Roberto Gorrieri, Fabio Martinelli, Marinella Petr...
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 5 months ago
Bistable Biorders: A Sequential Domain Theory
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
James Laird
IS
2006
15 years 5 months ago
The Michigan benchmark: towards XML query performance diagnostics
We propose a micro-benchmark for XML data management to aid engineers in designing improved XML processing engines. This benchmark is inherently different from application-level b...
Kanda Runapongsa, Jignesh M. Patel, H. V. Jagadish...
JASIS
2006
68views more  JASIS 2006»
15 years 5 months ago
Query expansion behavior within a thesaurus-enhanced search environment: A user-centered evaluation
e to the CAB abstracts database. Data-gathering techniques included questionnaires, screen capturing software, and interviews. The results presented here relate to issues of search...
Ali Asghar Shiri, Crawford Revie
DEBU
2007
141views more  DEBU 2007»
15 years 5 months ago
Issues in Building Practical Provenance Systems
The importance of maintaining provenance has been widely recognized, particularly with respect to highly-manipulated data. However, there are few deployed databases that provide p...
Adriane Chapman, H. V. Jagadish