861 search results - page 39 / 173 » Internal implementation |
119
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
We present a formal model and a simple architecture for robust pseudorandom generation that ensures resilience in the face of an observer with partial knowledge/control of the gen...
132
Voted
ISSA
2004
15 years 3 months ago
2004
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...
122
click to vote
ICFEM
2010
Springer
15 years 28 days ago
2010
Springer
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...
158
click to vote
CORR
2009
Springer
15 years 6 days ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
147
Voted
ISCIS
2003
Springer
15 years 7 months ago
2003
Springer
Effects of network parameters on the performance of mobile ad hoc networks (MANETs) have been widely investigated. However, there are certain issues related to the hardware implem...