10707 search results - page 538 / 2142 » Designing executable abstractions |
210
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
202
click to vote
POS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Aggressive optimization of programs often relies on analysis and transformation that cuts across the natural abstraction boundaries of the source programming language, su...
206
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
194
click to vote
DCOSS
2011
Springer
14 years 6 months ago
2011
Springer
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...
229
click to vote
SWQD
2012
14 years 2 months ago
2012
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...