Sciweavers

589 search results - page 54 / 118
» Developing principles of GUI programming using views
Sort
View
AOSD
2006
ACM
14 years 4 months ago
Presenting crosscutting structure with active models
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
Wesley Coelho, Gail C. Murphy
CADE
1998
Springer
14 years 2 months ago
Automated Theorem Proving in a Simple Meta-Logic for LF
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
Carsten Schürmann, Frank Pfenning
EUROPAR
1998
Springer
14 years 2 months ago
Performance Measurement of Interpreted Programs
Abstract. In an interpreted execution there is an interdependence between the interpreter's execution and the interpreted application's execution; the implementation of t...
Tia Newhall, Barton P. Miller
BMCBI
2005
101views more  BMCBI 2005»
13 years 10 months ago
PALSSE: A program to delineate linear secondary structural elements from protein structures
Background: The majority of residues in protein structures are involved in the formation of helices and -strands. These distinctive secondary structure patterns can be used to rep...
Indraneel Majumdar, S. Sri Krishna, Nick V. Grishi...
CORR
2010
Springer
90views Education» more  CORR 2010»
13 years 10 months ago
AMP: A Science-driven Web-based Application for the TeraGrid
The Asteroseismic Modeling Portal (AMP) provides a webbased interface for astronomers to run and view simulations that derive the properties of Sun-like stars from observations of...
Matthew Woitaszek, Travis Metcalfe, Ian Shorrock