170 search results - page 27 / 34 » From BPEL to SRML: A Formal Transformational Approach |
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
BPM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...
VR
2008
IEEE
13 years 7 months ago
2008
IEEE
It is widely recognized that inertial sensors, in particular gyroscopes, can improve the latency and accuracy of orientation tracking by fusing the inertial measurements with data...
TCAD
2002
13 years 7 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
BMCBI
2011
12 years 11 months ago
2011
Background: Second generation sequencing technologies yield DNA sequence data at ultra high-throughput. Common to most biological applications is a mapping of the reads to an almo...