1078 search results - page 207 / 216 » Modelling and Verifying of e-Commerce Systems |
108
click to vote
CDC
2009
IEEE
14 years 9 months ago
2009
IEEE
based on extended set-membership filter (ESMF) and the path planning method in relative velocity coordinates (RVCs), a new 3D multiple Unmanned Aerial Vehicle (UAV) systems active ...
114
click to vote
CSMR
2010
IEEE
14 years 6 months ago
2010
IEEE
To avoid unnecessary maintenance costs in large IT systems resulting from poorly planned changes, it is essential to manage and control changes to the system and to verify that all...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— BitTorrent is a typical peer-to-peer (P2P) file distribution application that has gained tremendous popularity in recent years. A considerable amount of research exists...
134
click to vote
MOBICOM
2009
ACM
15 years 6 months ago
2009
ACM
Cognitive radio is an enabling technology that allows unlicensed users to opportunistically access the spectrum in order to enhance the spectrum efficiency. In this paper, we cons...