11172 search results - page 810 / 2235 » Testing Physical Systems |
223
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The underwater acoustic channel is characterized by a path loss that depends not only on the transmission distance, but also on the signal frequency. As a consequence, transmission...
209
click to vote
CANDC
2006
ACM
15 years 7 months ago
2006
ACM
O-glycosylation is one of the most important, frequent and complex post-translational modifications. This modification can activate and affect protein functions. Here, we present ...
166
click to vote
JLP
2006
15 years 7 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
206
Voted
MTA
2006
15 years 7 months ago
2006
In this paper we present a model and an adaptation architecture for context-aware multimodal documents. A compound virtual document describes the different ways in which multimodal...
166
Voted
CORR
2004
Springer
15 years 7 months ago
2004
Springer
The University of Edinburgh has a significant interest in mass storage systems as it is one of the core groups tasked with the roll out of storage software for the UK's parti...