140 search results - page 21 / 28 » Protocol verification using flows: An industrial experience |
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
REFSQ
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. [Context and motivation] With increasing use of software, quality attributes grow in relative importance. Robustness is a software quality attribute that has not received...
LCN
1998
IEEE
13 years 11 months ago
1998
IEEE
Abstract-- The emergence of nomadic applications have recently generated much interest in wireless network infrastructures that support real-time communications. In this paper, we ...
CDC
2008
IEEE
2008
IEEE
An ensemble Kalman filtering approach to highway traffic estimation using GPS enabled mobile devices
13 years 7 months ago
Traffic state estimation is a challenging problem for the transportation community due to the limited deployment of sensing infrastructure. However, recent trends in the mobile pho...
ICRA
2000
IEEE
13 years 11 months ago
2000
IEEE
A supply chain network can be viewed as a network of facilities in which a customer order will flow through internal business processes such as procurement, production, and transp...