Sciweavers

171 search results - page 21 / 35
» From State- to Delta-Based Bidirectional Model Transformatio...
Sort
View
CHI
2007
ACM
14 years 8 months ago
Research through design as a method for interaction design research in HCI
For years the HCI community has struggled to integrate design in research and practice. While design has gained a strong foothold in practice, it has had much less impact on the H...
John Zimmerman, Jodi Forlizzi, Shelley Evenson
FASE
2004
Springer
13 years 11 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
DEDS
2002
119views more  DEDS 2002»
13 years 7 months ago
Diagnosing Discrete-Event Systems: Extending the "Diagnoser Approach" to Deal with Telecommunication Networks
Abstract. Detection and isolation of failures in large and complex systems such as telecommunication networks are crucial and challenging tasks. The problem considered here is that...
Laurence Rozé, Marie-Odile Cordier
SCALESPACE
2007
Springer
14 years 2 months ago
Non-negative Sparse Modeling of Textures
This paper presents a statistical model for textures that uses a non-negative decomposition on a set of local atoms learned from an exemplar. This model is described by the varianc...
Gabriel Peyré
BCB
2010
126views Bioinformatics» more  BCB 2010»
13 years 2 months ago
Functional similarities of reaction sets in metabolic pathways
Analyzing metabolic pathways by means of their steady states has proven to be accurate and efficient for practical purposes. The models such as elementary flux modes (EFMs) and ex...
Ferhat Ay, Tamer Kahveci