1448 search results - page 222 / 290 » Visualizing Program Slices |
117
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Quantitative proteomics technologies have been developed to comprehensively identify and quantify proteins in two or more complex samples. Quantitative proteomics base...
156
click to vote
DEDS
2000
15 years 2 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
117
click to vote
PERCOM
2009
ACM
16 years 3 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
176
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
We propose to demonstrate SGL, a language and system for writing computer games using data management techniques. We will demonstrate a complete game built using the system, and s...
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
This paper proposes automated support for classifying reported software failures in order to facilitate prioritizing them and diagnosing their causes. A classification strategy is...