Sciweavers

1060 search results - page 142 / 212
» Using an Agile Approach in a Large, Traditional Organization
Sort
View
IWFM
2000
107views Formal Methods» more  IWFM 2000»
15 years 7 months ago
A Comparison of Three Model Checkers Applied to a Distributed Database Problem
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
A. J. Currie
NSPW
2006
ACM
16 years 21 hour ago
Googling considered harmful
Virtually every Internet user on the planet uses the powerful free tools offered by a handful of information service providers in many aspects of their personal and professional l...
Gregory J. Conti
VLDB
2004
ACM
245views Database» more  VLDB 2004»
15 years 11 months ago
A Multi-Purpose Implementation of Mandatory Access Control in Relational Database Management Systems
Mandatory Access Control (MAC) implementations in Relational Database Management Systems (RDBMS) have focused solely on Multilevel Security (MLS). MLS has posed a number of challe...
Walid Rjaibi, Paul Bird
BMCBI
2007
103views more  BMCBI 2007»
15 years 6 months ago
eQTL Viewer: visualizing how sequence variation affects genome-wide transcription
Background: Expression Quantitative Trait Locus (eQTL) mapping methods have been used to identify the genetic basis of gene expression variations. To map eQTL, thousands of expres...
Wei Zou, David L. Aylor, Zhao-Bang Zeng
BMCBI
2007
146views more  BMCBI 2007»
15 years 6 months ago
Spatial location and its relevance for terminological inferences in bio-ontologies
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
Stefan Schulz, Kornél G. Markó, Udo ...