4350 search results - page 254 / 870 » Case studies for contract-based systems |
167
click to vote
ISCAS
2007
IEEE
16 years 25 days ago
2007
IEEE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
185
click to vote
FDL
2006
IEEE
16 years 20 days ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
189
click to vote
RTCSA
2006
IEEE
16 years 19 days ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
182
click to vote
WCRE
2005
IEEE
16 years 5 days ago
2005
IEEE
The use of design patterns in a software system can provide strong indications about the rationale behind the system’s design. As a result, automating the detection of design pa...
197
click to vote
EPIA
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we propose a framework named UMT (User-profile Modeling based on Transactional data) for modeling user group profiles based on the transactional data. UMT is a gener...