10159 search results - page 357 / 2032 » System Design Validation Using Formal Models |
141
click to vote
ISCI
2008
15 years 4 months ago
2008
Directed signature scheme allows only a designated verifier to check the validity of the signature issued to him; and at the time of trouble or if necessary, any third party can v...
114
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
SIGMOBILE
2002
15 years 3 months ago
2002
ese two applications are built upon the abstraction provided by the Context Service and thus help validate the design of this service. The first application, a Notification Dispatc...
156
click to vote
SPLC
2008
15 years 5 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
143
click to vote
FM
1997
Springer
15 years 8 months ago
1997
Springer
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...