Sciweavers

721 search results - page 31 / 145
» A Living System Must Have Noncomputable Models
Sort
View
105
Voted
ISBI
2008
IEEE
16 years 1 months ago
Automated proteome-wide determination of subcellular location using high throughput microscopy
A major source of information for identifying subcellular location on a proteome-wide basis will be imaging of tagged proteins in living cells using fluorescence microscopy. We ha...
Robert F. Murphy
110
Voted
IDEAS
2002
IEEE
151views Database» more  IDEAS 2002»
15 years 5 months ago
Completing CAD Data Queries for Visualization
A system has been developed permitting database queries over data extracted from a CAD system where the query result is returned back to the CAD for visualization and analysis. Th...
Milena Gateva Koparanova, Tore Risch
DT
2006
180views more  DT 2006»
15 years 15 days ago
A SystemC Refinement Methodology for Embedded Software
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
Jérôme Chevalier, Maxime de Nanclas, ...
71
Voted
TC
2002
15 years 3 days ago
Designing High Integrity Systems Using Aspects
: In this paper we show how design-level aspects can be used to develop high integrity systems. In our approach, a system designer must first identify the specific mechanisms requi...
Geri Georg, Robert B. France, Indrakshi Ray
155
Voted
ISSE
2011
14 years 7 months ago
Time-triggered buffers for event-based middleware systems
Application developers utilizing event-based middleware have sought to leverage domain-specific modeling for the advantages of intuitive specification, code synthesis, and suppo...
Jonathan Sprinkle, Brandon Eames