10707 search results - page 1914 / 2142 » Designing executable abstractions |
150
click to vote
BILDMED
2007
15 years 8 months ago
2007
Abstract. Although angiography was originally designed as a morphological imaging modality, it is increasingly demanded to retrieve functional information from conventional angiogr...
183
click to vote
BILDMED
2007
15 years 8 months ago
2007
Abstract. Electromagnetic tracking is currently the only available technology to track flexible instruments inside the human body without the use of real time imaging technology s...
173
Voted
BIS
2008
15 years 8 months ago
2008
Abstract. In this paper, we use a qualitative approach to explore which design aspects an erecruiting platform requires so as to achieve active long-term participation of its users...
191
click to vote
BNCOD
2008
15 years 8 months ago
2008
Abstract. We introduce a query language over sensors, streams and relations and formally describe its semantics. Although the language was specifically designed for sensor network ...
214
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...