9642 search results - page 1550 / 1929 » Semantics in Multimedia Systems |
SAC
2010
ACM
15 years 6 months ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...
AINA
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
ECBS
2009
IEEE
15 years 6 months ago
2009
IEEE
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
PDP
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper investigate a mutual exclusion algorithm on distributed systems. We introduce a new algorithm based on the Naimi-Trehel algorithm, taking advantage of the distributed a...
PERCOM
2009
ACM
15 years 6 months ago
2009
ACM
Highly sensorised systems present two parallel challenges: how to design a sensor suite that can efficiently and cost-effectively support the needs of given services; and to extr...