596 search results - page 106 / 120 » Software Self-Healing Using Collaborative Application Commun... |
SEFM
2006
IEEE
14 years 1 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...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
Modern societies are pervaded by computerized, heterogeneous devices designed for specific purposes, but also more and more often capable of interacting with other devices for en...
FLAIRS
2008
13 years 9 months ago
2008
One of the major weaknesses of current research on the Semantic Web (SW) is the lack of proper means to represent and reason with uncertainty. A number of recent efforts from the ...
GROUP
2009
ACM
14 years 2 months ago
2009
ACM
Recent technological advances foster the spreading of social software in the mobile domain. Hence, future usage patterns of mobile devices will involve more group interaction. Whi...
UIST
2006
ACM
14 years 1 months ago
2006
ACM
We explore the design space of a two-sided interactive touch table, designed to receive touch input from both the top and bottom surfaces of the table. By combining two registered...