2841 search results - page 491 / 569 » A Call to Order |
198
click to vote
MUE
2007
IEEE
16 years 20 days ago
2007
IEEE
Securing multimedia transmission has become a challenging issue due to the popularization of real-time multimedia applications such as video surveillance, satellite communication ...
180
click to vote
ATVA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
180
click to vote
CDVE
2007
Springer
16 years 19 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
176
click to vote
DILS
2007
Springer
16 years 19 days ago
2007
Springer
2D-Nuclear magnetic resonance (NMR) spectroscopy is a powerful analytical method to elucidate the chemical structure of molecules. In contrast to 1D-NMR spectra, 2D-NMR spectra cor...
187
click to vote
EUC
2007
Springer
16 years 19 days ago
2007
Springer
Cooperative caching is an important technique to support efficient data dissemination and sharing in Mobile Ad hoc Networks (MANETs). In order to ensure valid data access, the cach...