Sciweavers

8933 search results - page 323 / 1787
» Usability over time
Sort
View
PERVASIVE
2005
Springer
16 years 7 days ago
u-Photo: Interacting with Pervasive Services Using Digital Still Images
This paper presents u-Photo which is an interactive digital still image including information of pervasive services associated with networked appliances and sensors in pervasive co...
Genta Suzuki, Shun Aoki, Takeshi Iwamoto, Daisuke ...
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
16 years 5 days ago
A formal software synthesis approach for embedded hard real-time systems
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
Raimundo S. Barreto, Marília Neves, Meuse N...
ITNG
2010
IEEE
15 years 12 months ago
ACAT: A Web-Based Software Tool to Facilitate Course Assessment for ABET Accreditation
—There are several institutions that accredit educational programs and require documentation to ensure that an educational program regularly meets certain criteria. This paper fo...
Eugene Essa, Andrew Dittrich, Sergiu M. Dascalu, F...
ACMDIS
2000
ACM
15 years 11 months ago
Bridge for Buttons - A GUI Design Methodology Applied in Non-GUI Consumer Product Design
This paper describes the experience gained in the case study of adapting the Bridge, a GUI design method to the design of non-GUI interactive consumer products. An industrial desi...
Simo Säde, Katja Battarbee
BIRTHDAY
1994
Springer
15 years 11 months ago
Generalizing Cook's Transformation to Imperative Stack Programs
Cook's construction from 1971 [4] shows that any two-way deterministic pushdown automaton (2DPDA) can be simulated in time O(n), where n is the length of its input string, and...
Nils Andersen, Neil D. Jones