537 search results - page 90 / 108 » Mobile sound communities |
MOBISYS
2011
ACM
13 years 26 days ago
2011
ACM
Mobile phones are becoming the convergent platform for personal sensing, computing, and communication. This paper attempts to exploit this convergence towards the problem of autom...
POPL
2006
ACM
14 years 10 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
QOSA
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In enterprise application development and other software construction projects, a critical success factor is to make sound architectural decisions. Text templates and too...
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents the results of LILY, which is an ontology mapping system, for OAEI 2007 campaign. To accurately describe what the real meaning of an entity in the original onto...
SEFM
2006
IEEE
14 years 4 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...