1679 search results - page 288 / 336 » Security Properties and CSP |
FC
2007
Springer
14 years 4 months ago
2007
Springer
A multi-coupon (MC) represents a collection of k coupons that a user can redeem to a vendor in exchange for some goods or services. Nguyen (FC 2006), deepening the ideas of Chen et...
OOPSLA
2007
Springer
14 years 4 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
OOPSLA
2007
Springer
14 years 4 months ago
2007
Springer
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...
SAFECOMP
2007
Springer
14 years 4 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
SAFECOMP
2007
Springer
14 years 4 months ago
2007
Springer
In present-day electronic systems, application subsystems from different vendors and with different criticality levels are integrated within the same hardware. Hence, encapsulati...