696 search results - page 111 / 140 » Model driven development with Ada |
UML
2005
Springer
14 years 2 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
FMSB
2008
13 years 11 months ago
2008
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
ESAW
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The deployment of agent societies —as complex systems— in dynamic and unpredictable settings brings forth critical issues concerning their design. Organizational mode...
ISBI
2006
IEEE
14 years 10 months ago
2006
IEEE
Focal cortical dysplasia (FCD), a malformation of cortical development, is an important cause of intractable epilepsy. On Magnetic Resonance Images (MRI), FCD lesions are difficul...
ISCAS
2007
IEEE
14 years 3 months ago
2007
IEEE
—In this paper, we propose a vibration driven energy harvesting platform based on piezoelectric material. A new maximum power point tracking (MPPT) method for this platform is al...