Sciweavers

869 search results - page 104 / 174
» A process modelling success model: insights from a case stud...
Sort
View
ENTCS
2007
117views more  ENTCS 2007»
13 years 7 months ago
Relating Hybrid Chi to Other Formalisms
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffele...
ENTCS
2006
183views more  ENTCS 2006»
13 years 7 months ago
Metamodel-Based Model Transformation with Aspect-Oriented Constraints
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
László Lengyel, Tihamer Levendovszky...
ICEBE
2007
IEEE
103views Business» more  ICEBE 2007»
13 years 8 months ago
Value and Goal Driven Design of E-Services
- E-services are used as the cornerstones for modeling interaction points of cooperating IT systems, within and between enterprises. So far, research and development of e-services ...
Martin Henkel, Paul Johannesson, Erik Perjons, Jel...
ERCIMDL
2010
Springer
130views Education» more  ERCIMDL 2010»
13 years 5 months ago
LIFE-SHARE Project: Developing a Digitisation Strategy Toolkit
This poster will outline the Digitisation Strategy Toolkit created as part of the LIFE-SHARE project. The toolkit is based on the lifecycle model created by the LIFE project and ex...
Beccy Shipman, Matthew Herring, Ned Potter, Bo Mid...
BMCBI
2007
106views more  BMCBI 2007»
13 years 8 months ago
Mining prokaryotic genomes for unknown amino acids: a stop-codon-based approach
Background: Selenocysteine and pyrrolysine are the 21st and 22nd amino acids, which are genetically encoded by stop codons. Since a number of microbial genomes have been completel...
Masashi Fujita, Hisaaki Mihara, Susumu Goto, Nobuy...