Sciweavers

6953 search results - page 194 / 1391
» Development Tools for Distributed Applications
Sort
View
APN
2004
Springer
15 years 7 months ago
An Approach to Distributed State Space Exploration for Coloured Petri Nets
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...
Lars Michael Kristensen, Laure Petrucci
118
Voted
KBSE
2009
IEEE
15 years 9 months ago
A Framework for State-Space Exploration of Java-Based Actor Programs
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul...
GECCO
2006
Springer
174views Optimization» more  GECCO 2006»
15 years 6 months ago
Optimizing of NC tool paths for five-axis milling using evolutionary algorithms on wavelets
Computer aided NC-path generation of five-axis milling using a standard CAM-system does usually not take machine dynamics and kinematics into account. This results in machine move...
Klaus Weinert, Andreas Zabel, Heinrich Müller...
OMER
2001
15 years 3 months ago
A Model-Based Approach for Automotive Software Development
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...
Peter Braun 0003, Martin Rappl
125
Voted
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
15 years 9 months ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega