1938 search results - page 230 / 388 » Dependable Software |
111
Voted
MICCAI
2003
Springer
2003
Springer
Iterating Registration and Activation Detection to Overcome Activation Bias in fMRI Motion Estimates
16 years 3 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...
115
click to vote
CHI
2007
ACM
16 years 2 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...
214
Voted
VLDB
2005
ACM
16 years 2 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...
132
Voted
ECBS
2010
IEEE
15 years 9 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...
109
click to vote
FOSSACS
2010
Springer
15 years 9 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...