3828 search results - page 114 / 766 » Proof-Based System Engineering Using a Virtual System Model |
200
click to vote
ICSEA
2009
IEEE
15 years 2 months ago
2009
IEEE
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...
147
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
130
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Communities (especially virtual communities) of Interest have been the focus of substantial discussion in academic literature. This paper addresses Communities of Interest within ...
150
click to vote
CW
2005
IEEE
15 years 10 months ago
2005
IEEE
Agents are systems capable of perceiving their environment through sensors, reasoning about their sensory input using some characteristic reasoning process and acting in their env...
126
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— 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...