289 search results - page 45 / 58 » Automating Object-Oriented Software Development Methods |
LICS
2006
IEEE
14 years 5 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
AOSD
2006
ACM
14 years 4 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
DATE
2010
IEEE
14 years 4 months ago
2010
IEEE
—Daily experience with product designers, test and diagnosis engineers it is realized that the depth of interaction among them, ought be high for sucessfull diagnosis of analogue...
TMI
2010
13 years 9 months ago
2010
—Medical image registration is an important task in medical image processing. It refers to the process of aligning data sets, possibly from different modalities (e.g., magnetic r...
BMCBI
2010
13 years 11 months ago
2010
Background: Automated protein function prediction methods are the only practical approach for assigning functions to genes obtained from model organisms. Many of the previously re...