Sciweavers

5326 search results - page 223 / 1066
» On what we can ensure
Sort
View
ASWEC
2009
IEEE
15 years 4 months ago
From Requirements to Embedded Software - Formalising the Key Steps
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
Toby Myers, R. Geoff Dromey
CDC
2010
IEEE
112views Control Systems» more  CDC 2010»
15 years 1 months ago
Feedback control of the National Airspace System to mitigate weather disruptions
This paper proposes a general modeling framework adapted to the feedback control of traffic flows in Eulerian models of the National Airspace System (NAS). It is shown that the pro...
Jerome Le Ny, Hamsa Balakrishnan
TMM
2010
155views Management» more  TMM 2010»
15 years 1 months ago
Estimating Cohesion in Small Groups Using Audio-Visual Nonverbal Behavior
Abstract--Cohesiveness in teams is an essential part of ensuring the smooth running of task-oriented groups. Research in social psychology and management has shown that good cohesi...
Hayley Hung, Daniel Gatica-Perez
CHI
2008
ACM
16 years 7 months ago
Designs on dignity: perceptions of technology among the homeless
Technology, it is argued, has the potential to improve everyone's life: from the workplace, to entertainment, to easing chores around the home. But what of people who have ne...
Christopher A. Le Dantec, W. Keith Edwards
CHI
2009
ACM
16 years 1 months ago
Matchin: eliciting user preferences with an online game
Eliciting user preferences for large datasets and creating rankings based on these preferences has many practical applications in community-based sites. This paper gives a new met...
Severin Hacker, Luis von Ahn