620 search results - page 71 / 124 » Abstract Analysis of Symbolic Executions |
WCNC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—Using cooperative transmission, two or more singleantenna users can share their antennas to achieve spatial diversity in a slow fading channel. One relaying protocol tha...
115
click to vote
MVA
1990
15 years 1 months ago
1990
d at a high abstraction level, and consists in an expectation-driven search starting from symbolic object descriptions and using a version of a distributed blackboard system for re...
112
click to vote
ICWS
2004
IEEE
15 years 1 months ago
2004
IEEE
A conversation protocol is a top-down specification framework which specifies desired global behaviors of a web service composition. In our earlier work [6] we studied the problem...
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...
106
click to vote
ASWEC
2006
IEEE
15 years 6 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...