1681 search results - page 248 / 337 » Formal Design of Distributed Control Systems with Lustre |
105
click to vote
FORTE
2003
14 years 11 months ago
2003
Abstract. In this paper, we propose a testing method for QoS functions in distributed multi-media systems, where we test whether playback of media objects is correctly implemented ...
ICDCS
2010
IEEE
15 years 1 months ago
2010
IEEE
—The adoption of portable wireless devices is rapidly rising. The demand for efficient communication protocols amongst these devices is pressing. In this paper, we present a con...
102
click to vote
ACMICEC
2008
ACM
14 years 11 months ago
2008
ACM
This paper focuses on the problem of how to allow sharing of copyrighted content between a set of authorised devices and preventing unauthoried copying of content to other devices...
SASO
2008
IEEE
15 years 4 months ago
2008
IEEE
Many real–world networks show a scale–free degree distribution, a structure that is known to be very stable in case of random failures. Unfortunately, the very same structure ...
106
click to vote
COOPIS
2003
IEEE
15 years 3 months ago
2003
IEEE
The Common Object Request Broker Architecture standardizes a platform- and programming-language-independent distributed object computing environment. It also provides a standard fo...