64 search results - page 2 / 13 » ALICE: An Advanced Logic for Interactive Component Engineeri... |
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
QSIC
2007
IEEE
13 years 11 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
CBSE
2008
Springer
13 years 6 months ago
2008
Springer
Systems are increasingly expected to adapt themselves to changing requirements and environmental situations with minimum user interactions. A challenge for self-adaptation is the i...
EURODAC
1994
IEEE
13 years 9 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
CIMCA
2008
IEEE
13 years 11 months ago
2008
IEEE
Although in recent years some progress in software engineering (SE) and human-computer interaction (HCI) has been made, there is still a gap between the two research areas and the...