867 search results - page 145 / 174 » User Interface Prototyping: Tools and Techniques |
ICDE
2011
IEEE
13 years 10 days ago
2011
IEEE
— As sensors continue to proliferate, the capabilities of effectively querying not only sensor data but also its metadata becomes important in a wide range of applications. This ...
MOBISYS
2007
ACM
14 years 8 months ago
2007
ACM
Except for a handful of "mobile" Web sites, the Web is designed for browsing with personal computers with large screens capable of fitting the content of most Web pages....
WWW
2006
ACM
14 years 9 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
MM
2005
ACM
14 years 2 months ago
2005
ACM
The current model of time in multimedia frameworks poses particular problems when designing multimedia systems with timebased interaction. We propose to expand and extend an exist...
RTA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...