4350 search results - page 315 / 870 » Case studies for contract-based systems |
133
Voted
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Current solutions for industrial manufacturing assembly systems do not suit the needs of Mass Customization industry, which is facing low production volumes, many variants and rap...
181
click to vote
ECRTS
2005
IEEE
16 years 10 days ago
2005
IEEE
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...
157
click to vote
ICTAI
2003
IEEE
15 years 12 months ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
215
click to vote
HASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
178
click to vote
AUTOMATICA
1999
15 years 6 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...