1163 search results - page 181 / 233 » Case Studies of Model Checking for Embedded System Designs |
181
click to vote
CISIS
2009
IEEE
15 years 3 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 ...
157
click to vote
AAAI
1998
15 years 7 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...
141
click to vote
INFOCOM
2005
IEEE
15 years 11 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 ...
141
click to vote
ISVLSI
2006
IEEE
16 years 1 days 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...
160
click to vote
ICPADS
2005
IEEE
15 years 11 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...