3820 search results - page 116 / 764 » Bounded Model Debugging |
134
click to vote
UML
2004
Springer
15 years 7 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
127
Voted
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...
137
Voted
MODELS
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
127
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking...
91
Voted
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...