5639 search results - page 884 / 1128 » Timed Abstract Non-interference |
121
click to vote
GW
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The understanding of different bowing strategies can provide key concepts for the modelling of music performance. We report here an exploratory study of bowing gestures f...
142
click to vote
EUROPAR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we propose an energy-efficient broadcast algorithm for wireless networks for the case where the transmission powers of the nodes are fixed. Our algorithm is...
117
click to vote
FIMH
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We propose a new framework for simulating blood flow inside the heart, usable with geometric models of the heart from patientspecific data. The method is geared toward re...
123
click to vote
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract--Current multibeam satellite systems perform centralized power and carrier allocation assuming a Multi-Frequency Time Division Multiple Access (MF-TDMA) scheme with fixed ...
114
click to vote
ICDT
2007
ACM
15 years 7 months ago
2007
ACM
Abstract. We introduce approximate data exchange, by relaxing classical data exchange problems such as Consistency and Typechecking to their approximate versions based on Property ...