3995 search results - page 307 / 799 » Model-Driven Design of Distributed Applications |
240
click to vote
SDL
2007
15 years 8 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
185
click to vote
TCSV
2008
15 years 7 months ago
2008
Recently, among various data hiding techniques, a new subset, lossless data hiding, has received increasing interest. Most of the existing lossless data hiding algorithms are, howe...
225
click to vote
MIDDLEWARE
2004
Springer
16 years 12 days ago
2004
Springer
Publish/Subscribe systems have become a prevalent model for delivering data from producers (publishers) to consumers (subscribers) distributed across wide-area networks while decou...
176
click to vote
PODC
2011
ACM
14 years 10 months ago
2011
ACM
This paper focuses on designing incentive mechanisms for overlay multicast systems. Existing proposals on the problem are no longer able to provide proper incentives when rational...
186
click to vote
DCOSS
2009
Springer
16 years 1 months ago
2009
Springer
Bulk transport underlies data exfiltration and code update facilities in WSNs, but existing approaches are not designed for highly lossy and variable-quality links. We observe tha...