Sciweavers

3529 search results - page 503 / 706
» A Model for Interaction of Agents and Environments
Sort
View
CORR
2004
Springer
142views Education» more  CORR 2004»
15 years 6 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
HCI
2009
15 years 4 months ago
Estimating Productivity: Composite Operators for Keystroke Level Modeling
Task time is a measure of productivity in an interface. Keystroke Level Modeling (KLM) can predict experienced user task time to within 10 to 30% of actual times. One of the bigges...
Jeff Sauro
VRML
2005
ACM
16 years 2 days ago
Location-aware visualization of VRML models in GPS-based mobile guides
In this paper, we present LAMP3D, a system for the locationaware presentation of VRML content on mobile devices. We explore the application of LAMP3D in tourist mobile guides: the...
Stefano Burigat, Luca Chittaro
SOFSEM
2009
Springer
16 years 3 months ago
A Formal Model of Business Application Integration from Web Services (Position Paper)
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar
CSCW
2002
ACM
15 years 6 months ago
Extreme work teams: using SWAT teams as a model for coordinating distributed robots
We present a field study of police SWAT teams for the purpose of enabling grounded design of a system to coordinate distributed field robots. The mission-oriented, spatially distr...
Hank Jones, Pamela J. Hinds