1810 search results - page 297 / 362 » Type Systems for Distributed Data Structures |
EDOC
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
RTAS
2006
IEEE
14 years 4 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
PLDI
2012
ACM
12 years 25 days ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
ICDT
2012
ACM
12 years 24 days ago
2012
ACM
We introduce a representation system for relational data based on algebraic factorisation using distributivity of product over union and commutativity of product and union. We giv...
ICIP
2007
IEEE
14 years 4 months ago
2007
IEEE
Recent development in network visual communications has emphasized on the need of objective, reliable and easy-to-use video quality assessment (VQA) systems. This paper introduces...