Sciweavers

1175 search results - page 148 / 235
» Abstract computability and algebraic specification
Sort
View
RECOMB
2006
Springer
14 years 9 months ago
A Patient-Gene Model for Temporal Expression Profiles in Clinical Studies
Abstract. Pharmacogenomics and clinical studies that measure the temporal expression levels of patients can identify important pathways and biomarkers that are activated during dis...
Naftali Kaminski, Ziv Bar-Joseph
ICSE
2007
IEEE-ACM
14 years 9 months ago
Plug-and-Play Architectural Design and Verification
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...
Shangzhu Wang, George S. Avrunin, Lori A. Clarke
SAC
2009
ACM
14 years 3 months ago
LTS semantics for use case models
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
GROUP
1999
ACM
14 years 1 months ago
Getting some perspective: using process descriptions to index document history
Process descriptions are used in workflow and related systems to describe the flow of work and organisational responsibility in business processes, and to aid in coordination. How...
Paul Dourish, Richard Bentley, Rachel Jones, Allan...
CODES
2007
IEEE
14 years 26 days ago
Pointer re-coding for creating definitive MPSoC models
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
Pramod Chandraiah, Rainer Dömer