Sciweavers

2441 search results - page 233 / 489
» Engineering a Tool to Detect Automatically Generated Papers
Sort
View
ISSTA
2010
ACM
15 years 9 months ago
Automated fixing of programs with contracts
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
Yi Wei, Yu Pei, Carlo A. Furia, Lucas S. Silva, St...
GAMEON
2008
15 years 6 months ago
Model Driven Game Development: 2D Platform Game Prototyping
The increasing complexity of game development highlights the need of intellectual and industrial tools to enhance productivity in terms of quality, time and cost. In this paper we...
Emanuel Montero Reyno, José Á. Cars&...
WSC
2000
15 years 6 months ago
Modeling road traffic on airport premises
This paper describes the development of a traffic-modeling tool as an Arena template and two applications of it: one to evaluate alternative designs for the road network on the pr...
Marco C. van Burgsteden, Paul E. Joustra, Michiel ...
TOOLS
2008
IEEE
15 years 11 months ago
Component Reassembling and State Transfer in MaDcAr-Based Self-adaptive Software
In this paper, we introduce MaDcAr, a model of engines for dynamic and automatic (re)assembling of component-based software. In MaDcAr, an application description consists of the d...
Guillaume Grondin, Noury Bouraqadi, Laurent Vercou...
BPSC
2009
184views Business» more  BPSC 2009»
15 years 6 months ago
Generating WS-SecurityPolicy Documents via Security Model Transformation
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
Meiko Jensen