16 search results - page 3 / 4 » apsec 2008 |
APSEC
2008
IEEE
14 years 19 days ago
2008
IEEE
Modifying an application usually means to stop the application, apply the changes, and start the application again. That means, the application is not available for at least a sho...
APSEC
2008
IEEE
13 years 8 months ago
2008
IEEE
Reactive systems are often described by interconnecting sub-components along architectural connectors defining communication policies. Generally, such global systems may exhibit p...
APSEC
2008
IEEE
14 years 19 days ago
2008
IEEE
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...
APSEC
2008
IEEE
14 years 19 days ago
2008
IEEE
Computer Aided Software Engineering tools represent one the main successes of software engineering in the past decades. They however need to be improved along several dimensions i...
APSEC
2008
IEEE
13 years 8 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...