Sciweavers

1213 search results - page 64 / 243
» Traceability for System Families
Sort
View
CANDC
2004
ACM
14 years 11 months ago
The iProClass integrated database for protein functional analysis
Increasingly, scientists have begun to tackle gene functions and other complex regulatory processes by studying organisms at the global scales for various levels of biological org...
Cathy H. Wu, Hongzhan Huang, Anastasia N. Nikolska...
ARITH
1995
IEEE
15 years 3 months ago
Semi-Logarithmic Number Systems
—We present a new class of number systems, called Semi-Logarithmic Number Systems, that constitute a family of various compromises between floating-point and logarithmic number s...
Jean-Michel Muller, Arnaud Tisserand, Alexandre Sc...
IANDC
2011
127views more  IANDC 2011»
14 years 6 months ago
On the consistency, expressiveness, and precision of partial modeling formalisms
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
Ou Wei, Arie Gurfinkel, Marsha Chechik
ICDE
2004
IEEE
115views Database» more  ICDE 2004»
16 years 1 months ago
XBench Benchmark and Performance Testing of XML DBMSs
XML support is being added to existing database management systems (DBMSs) and native XML systems are being developed both in industry and in academia. The individual performance ...
Benjamin Bin Yao, M. Tamer Özsu, Nitin Khande...
CSCW
2004
ACM
15 years 3 months ago
Putting systems into place: a qualitative study of design requirements for location-aware community systems
We present a conceptual framework for location-aware community systems and results from two studies of how sociallydefined places influence people's information sharing and c...
Quentin Jones, Sukeshini A. Grandhi, Steve Whittak...