Sciweavers

7380 search results - page 1012 / 1476
» Engineering Software Intensive Systems
Sort
View
UIST
1994
ACM
15 years 9 months ago
An Architecture for Transforming Graphical Interfaces
While graphical user interfaces have gained much popularity in recent years, there are situations when the need to use existing applications in a nonvisual modality is clear. Exam...
W. Keith Edwards, Elizabeth D. Mynatt
118
Voted
ICESS
2007
Springer
15 years 9 months ago
An Analyzer of the User Event for Interactive DMB
Abstract. The interactive digital multimedia broadcasting stands for a convergence application between digital multimedia broadcasting service and wireless internet service. It dev...
Hlaing Su Khin, Sangwook Kim
AMAST
2006
Springer
15 years 8 months ago
State Space Reduction of Rewrite Theories Using Invisible Transitions
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
Azadeh Farzan, José Meseguer
AUIC
2004
IEEE
15 years 8 months ago
Visualization of Travel Itinerary Information on PDAs
Conventional travel itineraries list travel related information, such as flights and hotel bookings, in a chronological order of date and time. As such the only observable relatio...
Masood Masoodian, Daryl Budd
150
Voted
CODES
2001
IEEE
15 years 8 months ago
A design framework to efficiently explore energy-delay tradeoffs
Comprehensive exploration of the design space parameters at the system-level is a crucial task to evaluate architectural tradeoffs accounting for both energy and performance const...
William Fornaciari, Donatella Sciuto, Cristina Sil...
« Prev « First page 1012 / 1476 Last » Next »