18466 search results - page 283 / 3694 » On distributed systems and CSCL |
158
click to vote
ICDCSW
2000
IEEE
15 years 11 months ago
2000
IEEE
One of the main problems to ensure the quality of services (QoS) in video playback in a replicated distributed video player system is how to adapt to the changing network traffic ...
184
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
207
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
206
click to vote
MOBICOM
2010
ACM
15 years 6 months ago
2010
ACM
Stix is a platform managing emerging large-scale broadband wireless access (BWA) networks. It has been developed to make it easy to manage such networks for community deployments ...
171
Voted
ENTCS
2007
15 years 6 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...