8 search results - page 2 / 2 » Using Event-B to Verify the Kmelia Components and Their Asse... |
ICSE
2003
IEEE-ACM
14 years 5 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
ICRA
1998
IEEE
13 years 9 months ago
1998
IEEE
Part feeders, which singulate and orient parts prior to packing and insertion, are critical components of an assembly line. Existing feeders utilize o -plane vibrations of a rigid...
AAMAS
2006
Springer
13 years 5 months ago
2006
Springer
File Integrity Analyzers serve as a component of an Intrusion Detection environment by performing filesystem inspections to verify the content of security-critical files in order ...