4460 search results - page 252 / 892 » Formal methods for interactive systems |
152
click to vote
SMC
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents the design and architecture of an integrated environment that provides location independent and mobile access to Intelligent Domotic Environments. The envision...
197
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
As information technology supports more aspects of modern life, digital access has become an important tool for developing regions to lift themselves from poverty. Though broadban...
159
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. Most instruments - formalisms, concepts, and metrics for social networks analysis fail to capture their dynamics. Typical systems exhibit different scales of dynamics, ra...
118
click to vote
ICMCS
2006
IEEE
16 years 5 days ago
2006
IEEE
This paper proposes a method for designing user interfaces based on ideas rooted in data communication theory. It suggests that a visual user interface should be treated as a mult...
174
click to vote
ICALT
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose in this paper a new method to compute indicators based on models transformations. We use the concept of modeled trace and trace-based system to design an indicator. We u...