Sciweavers

321 search results - page 45 / 65
» Participatory design: the will to succeed
Sort
View
OZCHI
2009
ACM
14 years 2 months ago
Doing things backwards: the OWL project
The OWL project is inspired by Arthur C. Clarke's Third Law of Technology Prediction: Any sufficiently advanced technology is indistinguishable from magic. It consists of a s...
Danielle Wilde, Kristina Andersen
FM
2009
Springer
106views Formal Methods» more  FM 2009»
14 years 2 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
CANDC
2009
ACM
14 years 2 months ago
Predicting successful completion of online collaborative animation projects
Online creative collaboration projects are started every day, but many fail to produce new artifacts of value. In this poster, we address the question of why some of these project...
Kurt Luther, Kevin Ziegler, Kelly E. Caine, Amy Br...
EUROMICRO
2007
IEEE
14 years 2 months ago
Understanding Success and Failure Profiles of ERP Requirements Engineering: an Empirical Study
Organizations adopting Enterprise Resource Planning (ERP) are also adopting standard ERPvendor-specific process models for engineering their requirements. Making successfully a li...
Maya Daneva
FROCOS
2005
Springer
14 years 1 months ago
Proving Liveness with Fairness Using Rewriting
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
Adam Koprowski, Hans Zantema