561 search results - page 80 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
117
click to vote
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
Parametric yield loss due to variability can be effectively reduced by both design-time optimization strategies and by adjusting circuit parameters to the realizations of variable...
124
click to vote
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
114
click to vote
ISVC
2007
Springer
15 years 8 months ago
2007
Springer
Resource allocation in ad hoc communication networks is a field of high complexity because of both i) the distributed nature of the interactions between the nodes, and ii) the lar...
126
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...
113
click to vote
DAGSTUHL
2003
15 years 3 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...