9210 search results - page 1652 / 1842 » Analyzing Real-Time Systems |
MOBISYS
2010
ACM
14 years 20 days ago
2010
ACM
Ensemble is a system that uses a collection of trusted personal devices to provide proximity-based authentication in pervasive environments. Users are able to securely pair their ...
ATAL
2008
Springer
14 years 10 days ago
2008
Springer
In this paper, we report on an interactive system and the results ofa formal user study that was carried out with the aim of comparing two approaches to estimating users' int...
ATAL
2008
Springer
14 years 10 days ago
2008
Springer
Mechanism design (MD) has recently become a very popular approach in the design of distributed systems of autonomous agents. A key assumption required for the application of MD is...
ATAL
2008
Springer
14 years 10 days ago
2008
Springer
In this paper, we present a prototype that helps visualizing the relative importance of sentences extracted from medical texts using Embodied Conversational Agents (ECA). We propo...
CASES
2008
ACM
14 years 10 days ago
2008
ACM
Interconnects based on Networks-on-Chip are an appealing solution to address future microprocessor designs where, very likely, hundreds of cores will be connected on a single chip...