368 search results - page 67 / 74 » The Role of Verification in Interactive Systems Design |
ICIS
2004
13 years 8 months ago
2004
Location-based services (LBS), enabled by advances in mobile and positioning technologies, have afforded users with a pervasive flexibility to be uniquely addressable and to acces...
JUCS
2008
13 years 7 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
ACII
2011
Springer
12 years 7 months ago
2011
Springer
Affect plays a vital role in learning. During tutoring, particular affective states may benefit or detract from student learning. A key cognitiveaffective state is confusion, which...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
While the past research discussed several advantages of multiprocessor-system-on-a-chip (MPSOC) architectures from both area utilization and design verification perspectives over ...
CHI
2009
ACM
14 years 5 days ago
2009
ACM
Mobile imaging and digital storytelling currently support a growing practice of multimedia communication in the West. In this paper we describe a project which explores their bene...