653 search results - page 99 / 131 » The stepping stones project |
INTERACT
1997
14 years 10 months ago
1997
ABSTRACT Do developers use proven usability techniques like user involvement, usability testing, and iterative design in industrial practice? Based on inside knowledge of many diff...
GI
2008
Springer
14 years 10 months ago
2008
Springer
: This project sets a discussion about possible improvements for mobile menu structuring. Navigation on mobile phones is supposed to get quicker and easier. To reach for better use...
ACS
2008
14 years 9 months ago
2008
A frame homomorphism h : A - B is skeletal if x = 1 in A implies that h(x) = 1 in B. It is shown that, in KRegS, the category of compact regular frames with skeletal maps, the subc...
AO
2007
14 years 9 months ago
2007
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...