Sciweavers

4109 search results - page 771 / 822
» User Interface Software Tools
Sort
View
136
Voted
3DPH
2009
207views Healthcare» more  3DPH 2009»
15 years 1 days ago
A 3D Human Brain Atlas
3D representations of human physiology provide interesting options in the field of education. Understanding the human brain seems to be much easier when the anatomical structure is...
Sebastian Thelen, Jörg Meyer, Achim Ebert, Ha...
86
Voted
BMCBI
2010
135views more  BMCBI 2010»
14 years 11 months ago
Lists2Networks: Integrated analysis of gene/protein lists
Background: Systems biologists are faced with the difficultly of analyzing results from large-scale studies that profile the activity of many genes, RNAs and proteins, applied in ...
Alexander Lachmann, Avi Ma'ayan
WWW
2006
ACM
15 years 11 months ago
Model-based version and configuration management for a web engineering lifecycle
During a lifecycle of a large-scale Web application, Web developers produce a wide variety of inter-related Web objects. Following good Web engineering practice, developers often ...
Tien Nhut Nguyen
124
Voted
PPOPP
2009
ACM
15 years 11 months ago
Formal verification of practical MPI programs
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Gan...
97
Voted
ICEBE
2007
IEEE
174views Business» more  ICEBE 2007»
15 years 5 months ago
Worksheet-Driven UMM Modeling of B2B Services
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
Christian Huemer, Marco Zapletal, Philipp Liegl, R...