12487 search results - page 103 / 2498 » Graspable Work Modeling |
113
click to vote
FMOODS
2007
15 years 4 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
129
click to vote
SEKE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...
118
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper describes work in progress to extend component models to support Master-Worker applications and to let them to be executed on Grid infrastructures. The proposed appr...
139
Voted
ASPDAC
2009
ACM
15 years 7 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
125
click to vote
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
Language model (LM) adaptation is often achieved by combining a generic LM with a topic-specific model that is more relevant to the target document. Unlike previous work on unsup...