Sciweavers

1574 search results - page 276 / 315
» Integrated Tools for Performance-Oriented Distributed Softwa...
Sort
View
169
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
Representation dependence testing using program inversion
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ga...
PODS
2010
ACM
173views Database» more  PODS 2010»
15 years 8 months ago
Foundations of schema mapping management
In the last few years, a lot of attention has been paid to the specification and subsequent manipulation of schema mappings, a problem which is of fundamental importance in metad...
Marcelo Arenas, Jorge Pérez, Juan L. Reutte...
SERVICES
2008
246views more  SERVICES 2008»
15 years 5 months ago
BioFlow: A Web-Based Declarative Workflow Language for Life Sciences
Scientific workflows in Life Sciences are usually complex, and use many online databases, analysis tools, publication repositories and customized computation intensive desktop sof...
Hasan M. Jamil, Bilal El-Hajj-Diab
154
Voted
BMCBI
2006
126views more  BMCBI 2006»
15 years 3 months ago
Genomes as geography: using GIS technology to build interactive genome feature maps
Background: Many commonly used genome browsers display sequence annotations and related attributes as horizontal data tracks that can be toggled on and off according to user prefe...
Mary E. Dolan, Constance C. Holden, M. Kate Beard,...
ICAC
2008
IEEE
15 years 10 months ago
Digital Evolution of Behavioral Models for Autonomic Systems
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
Heather Goldsby, Betty H. C. Cheng, Philip K. McKi...