Sciweavers

9015 search results - page 568 / 1803
» Using Structural Computing to Support Information Integratio...
Sort
View
CORR
2007
Springer
47views Education» more  CORR 2007»
15 years 7 months ago
Data Structures for Mergeable Trees
Motivated by an application in computational topology, we consider a novel variant of the problem of efficiently maintaining dynamic rooted trees. This variant allows an operation...
Loukas Georgiadis, Haim Kaplan, Nira Shafrir, Robe...
IMR
2003
Springer
16 years 18 days ago
Compact Representations of Simplicial Meshes in Two and Three Dimensions
We describe data structures for representing simplicial meshes compactly while supporting online queries and updates efficiently. Our data structure requires about a factor of fi...
Daniel K. Blandford, Guy E. Blelloch, David E. Car...
PSB
2004
15 years 8 months ago
An Evidence Ontology for Use in Pathway/Genome Databases
An important emerging need in Model Organism Databases (MODs) and other bioinformatics databases (DBs) is that of capturing the scientific evidence that supports the information wi...
Peter D. Karp, Suzanne M. Paley, Cynthia J. Kriege...
180
Voted
CASCON
1997
119views Education» more  CASCON 1997»
15 years 8 months ago
Acme: an architecture description interchange language
Numerous architectural description languages (ADLs) have been developed, each providing complementary capabilities for architectural development and analysis. Unfortunately, each ...
David Garlan, Robert T. Monroe, David Wile
IH
2007
Springer
16 years 1 months ago
Software Integrity Checking Expressions (ICEs) for Robust Tamper Detection
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
Mariusz H. Jakubowski, Prasad Naldurg, Vijay Patan...