1054 search results - page 105 / 211 » From a Verified Kernel towards Verified Systems |
172
click to vote
EDCC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
161
click to vote
IH
1999
Springer
15 years 10 months ago
1999
Springer
This paper summarizes considerations and rationales for the design of a watermark detector. In particular, we relate watermark detection to the problem of signal detection in the p...
161
click to vote
IAT
2005
IEEE
15 years 12 months ago
2005
IEEE
Trust management model that we present is adapted for ubiquitous devices cooperation, rather than for classic client-supplier relationship. We use fuzzy numbers to represent trust...
184
click to vote
CSCWD
2001
Springer
15 years 10 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
185
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
OFDM/OQAM has been considered as an attractive alternative to classic OFDM with cyclic prefix (CP) over doubly dispersive channels. By utilising well designed pulse shapes and remo...