5525 search results - page 222 / 1105 » Verification of Model Transformations |
133
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
In ebXML the choreography of a business process should be modeled by UMM (UN/CEFACT Modeling Methodology) and is finally expressed in BPSS (Business Process Specification Schema). ...
117
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Multicore, multithreaded processors are rapidly becoming the platform of choice for high-throughput request-processing applications (RPAs). We refer to this class of mode...
169
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
149
click to vote
LOPSTR
1994
Springer
15 years 8 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
156
click to vote
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...