2493 search results - page 130 / 499 » Tool Support for Design by Contract |
MICCAI
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Diffusion Tensor Imaging (DTI) is becoming a routine magnetic resonance technique to study white matter properties and alterations of fiber integrity due to pathology. Th...
BMCBI
2008
14 years 10 months ago
2008
Background: New systems biology studies require researchers to understand how interplay among myriads of biomolecular entities is orchestrated in order to achieve high-level cellu...
ECLIPSE
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we describe marking features provided in Gild, a set of plug-ins to support education in Eclipse developed at the University of Victoria. We discuss our requirement...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
At the German Distance Learning University, collaborative synchronous exercises have been recently identified by students and teachers as an important future form of collaborative...
105
click to vote
CSFW
1992
IEEE
15 years 2 months ago
1992
IEEE
Mary Ellen Zurko Laboratory for Computer Science Massachusetts Institute of Technology and Digital Equipment Corporation Littleton, MA, 01460 This paper describes the User Attribu...