Sciweavers

1353 search results - page 55 / 271
» The Next Generation of Computer Supported Interaction and Co...
Sort
View
CDC
2010
IEEE
161views Control Systems» more  CDC 2010»
14 years 10 months ago
A geometric approach to air traffic complexity evaluation for strategic trajectory management
In the perspective next generation Air Traffic Management (ATM) systems, aircraft will be endowed with part of the responsibility for separation maintenance, and traffic complexity...
Luigi Piroddi, Maria Prandini
CLADE
2004
IEEE
15 years 7 months ago
Morphable Messaging: Efficient Support for Evolution in Distributed Applications
All but the most briefly used systems must evolve as their mission and roles change over time. Evolution in the context of large distributed systems is extraordinarily complex bec...
Sandip Agarwala, Greg Eisenhauer, Karsten Schwan
POPL
2009
ACM
16 years 4 months ago
SPEED: precise and efficient static estimation of program computational complexity
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilim...
MHCI
2005
Springer
15 years 9 months ago
Dynamic generation of web migratory interfaces
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...
Renata Bandelloni, Giulio Mori, Fabio Patern&ograv...
CHI
2010
ACM
15 years 9 months ago
vSked: evaluation of a system to support classroom activities for children with autism
Visual schedules—the use of symbols to represent a series of activities or steps—have been successfully used by caregivers to help children with autism to understand, structur...
Sen H. Hirano, Michael T. Yeganyan, Gabriela Marcu...