1938 search results - page 230 / 388 » Dependable Software |
MICCAI
2003
Springer
2003
Springer
Iterating Registration and Activation Detection to Overcome Activation Bias in fMRI Motion Estimates
14 years 10 months ago
Abstract. Most intensity-based fMRI registration methods do not account for the fact that the volumes being aligned may differ: one may have blood oxygen level dependent (BOLD) con...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
Knowledge workers making sense of a topic divide their time among activities including searching for information, reading, and taking notes. We have built a software system that s...
VLDB
2005
ACM
14 years 9 months ago
2005
ACM
We describe a data-centric software architecture for bioinformatics workflows and a rule-based workflow enactment system that uses declarative specifications of data dependences be...
ECBS
2010
IEEE
14 years 4 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...