1163 search results - page 181 / 233 » Case Studies of Model Checking for Embedded System Designs |
158
click to vote
CISIS
2009
IEEE
15 years 1 months ago
2009
IEEE
The capability to provide a platform for flexible business services in the Air Traffic Management (ATM) domain is both a major success factor for the ATM industry and a challenge ...
129
click to vote
AAAI
1998
15 years 5 months ago
1998
Software agents "living" and acting in a real world software environment, such as an operating system, a network, or a database system, can carry out many tasks for huma...
119
click to vote
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper, we study cross-layer design for rate control in multihop wireless networks. In our previous work, we have developed an optimal cross-layered rate control scheme ...
121
click to vote
ISVLSI
2006
IEEE
15 years 10 months ago
2006
IEEE
— Based on the proposed reliability characterization model, reliability-bounded low-power design as a methodology to balance reliability enhancement and power reduction in chip d...
143
click to vote
ICPADS
2005
IEEE
15 years 9 months ago
2005
IEEE
The evaluation of QoS requirements is one of the critical functions that span both the design and the run-time phases of QoS management. This paper presents an architecture for Qo...