973 search results - page 54 / 195 » Usability: not as we know it! |
108
click to vote
COMPSAC
1997
IEEE
15 years 4 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
120
click to vote
FSTTCS
1991
Springer
15 years 3 months ago
1991
Springer
This paper closes a gap in the foundations of the theory of average case complexity. First, we clarify the notion of a feasible solution for a search problem and prove its robustne...
ICWSM
2008
15 years 1 months ago
2008
We developed and evaluated a visualization tool for browsing individual blog archives. In our study, we solicited qualitative feedback from the participants to explore the reasons...
111
click to vote
BIRTHDAY
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...
GI
2008
Springer
15 years 29 days ago
2008
Springer
: Combining GPS tracks with semantic annotations is the basis for large data analysis tasks that give insight into the movement behavior of populations. In this paper, we present a...