1036 search results - page 50 / 208 » Ubiquitous Verification of Ubiquitous Systems |
SIGCSE
2005
ACM
14 years 1 months ago
2005
ACM
The University of Washington’s Classroom Presenter lecturing system enables an active lecturing environment by combining a standard electronic slide presentation format with the...
EUC
2005
Springer
14 years 1 months ago
2005
Springer
With advanced technologies, computer devices have become smaller and powerful. As a result, many people enjoy ubiquitous learning using mobile devices such as Pocket PCs. Pocket PC...
HUC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...
MIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper introduces a Generic Language for Interface DEvelopment (GLIDE) that supports the rapid prototyping of Graphical User Interfaces for the Agents Channeling Cont...
WORDS
2003
IEEE
14 years 27 days ago
2003
IEEE
Ubiquitous application software usually has multiple QoS requirements, such as situationawareness, real-time, and security, which make the application software development complic...