Sciweavers

1100 search results - page 49 / 220
» Instrumenting annotated programs
Sort
View
EUROSYS
2007
ACM
15 years 5 months ago
Integrating aspect-orientation and structural annotations to support adaptive middleware
To anticipate or not to anticipate -- that is the question, regarding adaptive middleware in the area of ubiquitous computing. Anticipation can guarantee that both the adapted and...
Holger Mügge, Tobias Rho, Armin B. Cremers
BMCBI
2010
102views more  BMCBI 2010»
15 years 1 months ago
Missing genes in the annotation of prokaryotic genomes
Background: Protein-coding gene detection in prokaryotic genomes is considered a much simpler problem than in intron-containing eukaryotic genomes. However there have been reports...
Andrew S. Warren, Jeremy S. Archuleta, Wu-chun Fen...
BMCBI
2007
181views more  BMCBI 2007»
15 years 1 months ago
Versatile annotation and publication quality visualization of protein complexes using POLYVIEW-3D
Background: Macromolecular visualization as well as automated structural and functional annotation tools play an increasingly important role in the post-genomic era, contributing ...
Aleksey A. Porollo, Jaroslaw Meller
ACMSE
2006
ACM
15 years 7 months ago
Student perspectives of ePortfolios in computing education
This paper presents the preliminary findings of the Electronic Portfolio Student Perspective Instrument (EPSPI) developed to ascertain student attitudes and intended uses of ePort...
Albert Dieter Ritzhaupt, Oma Singh
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
15 years 6 months ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula