Sciweavers

850 search results - page 5 / 170
» An Expeditious Approach to Modeling IDE Interaction Design
Sort
View
DSVIS
1998
Springer
15 years 2 months ago
A Uniform Approach for Specification and Design of Interactive Systems: the B Method
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
Yamine Aït Ameur, Patrick Girard, Francis Jam...
XPU
2007
Springer
15 years 3 months ago
Usability in Agile Software Development: Extending the Interaction Design Process with Personas Approach
The current agile software development methods do not seem to address usability and interaction design issues enough, i.e., the interaction design process may remain implicit. Howe...
Jukka Haikara
VCHCI
1993
15 years 1 months ago
Interface Design for Clinical Information Systems: An Ecological Interface Design Approach
This paper uses results from research in Clinical Information Systems (CIS) design, the psychology of clinical reasoning, and Ecological Interface Design (EID) to motivate general ...
Kip Cranfield, Kerry Petrucci
IMC
2004
ACM
15 years 3 months ago
Modeling distances in large-scale networks by matrix factorization
In this paper, we propose a model for representing and predicting distances in large-scale networks by matrix factorization. The model is useful for network distance sensitive app...
Yun Mao, Lawrence K. Saul
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
15 years 6 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...