570 search results - page 47 / 114 » Evaluating Usability Evaluation Methods: Criteria, Method an... |
225
click to vote
FMCO
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
181
click to vote
IJSEKE
2000
15 years 6 months ago
2000
Software architectures are often claimed to be robust. However, there is no explicit and concrete definition of software architecture robustness. This paper gives a definition of ...
137
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In this article we present the framework of Possibilistic Influence Diagrams (PID), which allow to model in a compact form problems of sequential decision making under un...
151
click to vote
JCIT
2007
15 years 6 months ago
2007
M-commerce is one of the ways IT can significantly contribute to boosting economy of the developing countries. M-commerce project has a high potential in the developing countries ...
133
click to vote
CLIN
2003
15 years 7 months ago
2003
This paper reports on the latest rejuvenation of AMAZON, a structuralist parser for Dutch written sentences. Unlike older versions, the new AMAZON parser has been developed in a m...