1107 search results - page 100 / 222 » XAIRA : software for language analysis |
108
Voted
EUROMICRO
2007
IEEE
15 years 2 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
108
click to vote
FASE
2008
Springer
15 years 2 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
122
click to vote
MICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
105
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
140
click to vote
ASPLOS
2000
ACM
15 years 5 months ago
2000
ACM
This paper presents the first analysis of operating system execution on a simultaneous multithreaded (SMT) processor. While SMT has been studied extensively over the past 6 years,...