3680 search results - page 427 / 736 » cases 2010 |
209
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
198
click to vote
ICMCS
2010
IEEE
15 years 8 months ago
2010
IEEE
In recent years, the popularity of compressed music files and online music downloads has increased dramatically. Today's users own large digital collections of high quality m...
236
click to vote
ICWS
2010
IEEE
15 years 6 months ago
2010
IEEE
— In this paper, the user experience in added value location-based mobile music service called the City Night Life (CNL) is evaluated and analyzed. The CNL service provides recom...
202
click to vote
IJAMC
2010
15 years 5 months ago
2010
—In this paper, we discuss interaction interoperability in Collaborative Virtual Environments (CVE), intended to mean the ability of two or more users to cooperate despite the he...
195
click to vote
TLT
2010
15 years 5 months ago
2010
— A key design goal of mobile learning is that its built-in experiences are enjoyable and proactive, empowering the learner with the knowledge and ability to self-manage. This im...