Sciweavers

2278 search results - page 328 / 456
» Specification Techniques for Automatic Performance Analysis ...
Sort
View
JGS
2010
106views more  JGS 2010»
14 years 6 months ago
On vector autoregressive modeling in space and time
Despite the fact that it provides a potentially useful analytical tool, allowing for the joint modeling of dynamic interdependencies within a group of connected areas, until latel...
Valter Di Giacinto
HCI
2009
14 years 9 months ago
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
Philippe A. Palanque, Jean-François Ladry, ...
110
Voted
AOSD
2009
ACM
15 years 6 months ago
Dependent advice: a general approach to optimizing history-based aspects
Many aspects for runtime monitoring are history-based: they contain pieces of advice that execute conditionally, based on the observed execution history. History-based aspects are...
Eric Bodden, Feng Chen, Grigore Rosu
83
Voted
IV
2007
IEEE
178views Visualization» more  IV 2007»
15 years 6 months ago
Viewing the Larger Context of Genomic Data through Horizontal Integration
Genomics is an important emerging scientific field that relies on meaningful data visualization as a key step in analysis. Specifically, most investigation of gene expression micr...
Matthew A. Hibbs, Grant Wallace, Maitreya J. Dunha...
BMCBI
2006
140views more  BMCBI 2006»
14 years 11 months ago
MACSIMS : multiple alignment of complete sequences information management system
Background: In the post-genomic era, systems-level studies are being performed that seek to explain complex biological systems by integrating diverse resources from fields such as...
Julie D. Thompson, Arnaud Muller, Andrew M. Waterh...