Sciweavers

226 search results - page 31 / 46
» Two-Level Interaction Approach for Transfer Function Specifi...
Sort
View
BMCBI
2007
167views more  BMCBI 2007»
14 years 12 months ago
Applying negative rule mining to improve genome annotation
Background: Unsupervised annotation of proteins by software pipelines suffers from very high error rates. Spurious functional assignments are usually caused by unwarranted homolog...
Irena I. Artamonova, Goar Frishman, Dmitrij Frishm...
WISE
2009
Springer
15 years 9 months ago
Personalizing the Interface in Rich Internet Applications
Recently, existing design methodologies targeting traditional Web applications have been extended for Rich Internet Application modeling support. These extended methodologies curre...
Irene Garrigós, Santiago Meliá, Sven...
CBSE
2009
Springer
15 years 6 months ago
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
Junguo Li, Xiangping Chen, Gang Huang, Hong Mei, F...
DIGRA
2005
Springer
15 years 5 months ago
Narrative Structure in Trans-Reality Role-Playing Games: Integrating Story Construction from Live Action, Table Top and Computer
Trans-reality role-playing games are conceived of as a form of role-playing game evolving from and integrating established table-top, live-action and computer-based role-playing f...
Craig A. Lindley, Mirjam Eladhari
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 3 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li