Sciweavers

736 search results - page 97 / 148
» Goal-oriented requirement analysis for data warehouse design
Sort
View
96
Voted
BMCBI
2010
137views more  BMCBI 2010»
15 years 20 days ago
Biana: a software framework for compiling biological interactions and analyzing networks
Background: The analysis and usage of biological data is hindered by the spread of information across multiple repositories and the difficulties posed by different nomenclature sy...
Javier Garcia-Garcia, Emre Guney, Ramon Aragues, J...
110
Voted
BIRTHDAY
2007
Springer
15 years 4 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
102
Voted
TVLSI
2008
139views more  TVLSI 2008»
15 years 13 days ago
Ternary CAM Power and Delay Model: Extensions and Uses
Applications in computer networks often require high throughput access to large data structures for lookup and classification. While advanced algorithms exist to speed these search...
Banit Agrawal, Timothy Sherwood
113
Voted
BMCBI
2010
149views more  BMCBI 2010»
15 years 20 days ago
S3DB core: a framework for RDF generation and management in bioinformatics infrastructures
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
Jonas S. Almeida, Helena F. Deus, Wolfgang Maass
117
Voted
BPM
2006
Springer
128views Business» more  BPM 2006»
15 years 2 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart