Sciweavers

650 search results - page 1 / 130
» Modeling SPARK systems with UML
Sort
View
SIGADA
2005
Springer
13 years 10 months ago
Modeling SPARK systems with UML
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
Xavier Sautejeau
CDC
2008
IEEE
288views Control Systems» more  CDC 2008»
13 years 11 months ago
Open-loop combustion timing control of a Spark-Ignited engine
— In this paper, we propose a control strategy to improve the combustion efficiency of Spark Ignited engines. More precisely, we adapt the spark ignition time according to varia...
Mathieu Hillion, Jonathan Chauvin, Nicolas Petit
HICSS
2007
IEEE
132views Biometrics» more  HICSS 2007»
13 years 11 months ago
Using Agile Practices to Spark Innovation in a Small to Medium Sized Business
The media industry is challenged to find new lines of business as technology redefines content, distribution and customer expectations. This is a case study of Oxygen Media where ...
Ken H. Judy, Ilio Krumins-Beens
UML
2001
Springer
13 years 9 months ago
A Formal Mapping between UML Static Models and Algebraic Specifications
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
Liliana Favre