Sciweavers

1101 search results - page 203 / 221
» Barbed Model-Driven Software Development: A Case Study
Sort
View
85
Voted
OOPSLA
2007
Springer
15 years 3 months ago
Modular typestate checking of aliased objects
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
Kevin Bierhoff, Jonathan Aldrich
BMCBI
2010
117views more  BMCBI 2010»
14 years 9 months ago
MetAssimulo: Simulation of Realistic NMR Metabolic Profiles
Background: Probing the complex fusion of genetic and environmental interactions, metabolic profiling (or metabolomics/metabonomics), the study of small molecules involved in meta...
Harriet J. Muncey, Rebecca Jones, Maria De Iorio, ...
HICSS
2007
IEEE
156views Biometrics» more  HICSS 2007»
15 years 4 months ago
KnowFlow - A Hybrid Approach to Identifying and Visualizing Distributed Knowledge Work Practices
Understanding collaborative work practices represents a critical factor in and a necessary fundament for the development of effective Computer Supported Collaborative Work (CSCW) ...
Markus Strohmaier, Stefanie N. Lindstaedt
DAC
2005
ACM
15 years 10 months ago
Fine-grained application source code profiling for ASIP design
Current Application Specific Instruction set Processor (ASIP) design methodologies are mostly based on iterative architecture exploration that uses Architecture Description Langua...
Kingshuk Karuri, Mohammad Abdullah Al Faruque, Ste...
MICCAI
2005
Springer
15 years 10 months ago
Computer-Assisted Ankle Joint Arthroplasty Using Bio-engineered Autografts
Bio-engineered cartilage has made substantial progress over the last years. Preciously few cases, however, are known where patients were actually able to benefit from these develop...
Rudolf Sidler, Wolfgang Köstler, Thibaut Bard...