Sciweavers

407 search results - page 19 / 82
» An Intuitive Automated Modelling Interface for Systems Biolo...
Sort
View
MODELS
2007
Springer
15 years 3 months ago
Using Domain-Specific Modeling to Generate User Interfaces for Wizards
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
Enis Afgan, Jeffrey G. Gray, Purushotham Bangalore
WSC
2004
14 years 11 months ago
Investigation of Error Rates When Controlling Multiple Uninhabited Combat Aerial Vehicles
As systems become more and more complex the use of automation tools becomes more important. Although automation is introduced to reduce human workload, improve situational awarene...
Sasanka V. Prabhala, Jennie J. Gallimore
FM
2008
Springer
171views Formal Methods» more  FM 2008»
14 years 11 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
EMISA
2005
Springer
15 years 3 months ago
A Model-Driven Approach for the Rapid Development of E-Negotiation Systems
: Most of today’s e-marketplaces support a single negotiation protocol. The protocol is usually built into the e-marketplace infrastructure, therefore if a new one is introduced ...
Morad Benyoucef, Stefanie Rinderle
74
Voted
CHI
1999
ACM
15 years 2 months ago
Principles of Mixed-Initiative User Interfaces
Recent debate has centered on the relative promise of focusing user-interface research on developing new metaphors and tools that enhance users’ abilities to directly manipulate...
Eric Horvitz