323 search results - page 53 / 65 » Verifying the Mondex Case Study |
146
click to vote
SIES
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
115
click to vote
CISIS
2009
IEEE
14 years 9 months ago
2009
IEEE
The capability to provide a platform for flexible business services in the Air Traffic Management (ATM) domain is both a major success factor for the ATM industry and a challenge ...
158
click to vote
DLS
2009
14 years 9 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
100
click to vote
IFM
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
102
click to vote
DOLAP
2010
ACM
14 years 9 months ago
2010
ACM
Object identification is a crucial step in most information systems. Nowadays, we have many different ways to identify entities such as surrogates, keys and object identifiers. Ho...