10707 search results - page 353 / 2142 » Designing executable abstractions |
123
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might no...
150
click to vote
DYNAMO
2000
15 years 6 months ago
2000
Dynamic binary translation is the process of translating and optimizing executable code for one machine to another at runtime, while the program is "executing" on the ta...
151
click to vote
ERCIM
2007
15 years 4 months ago
2007
With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute s...
166
click to vote
CSCWD
2009
Springer
15 years 2 months ago
2009
Springer
With the trend of globalization, enterprises require to extend their logistics scope from domestic to international, integrate logistics networks, and improve the agility and effi...
237
click to vote
NFM
2011
14 years 11 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...