1078 search results - page 113 / 216 » Modelling and Verifying of e-Commerce Systems |
128
click to vote
ICDCSW
2000
IEEE
15 years 8 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
161
click to vote
WINET
2010
15 years 2 months ago
2010
In this paper, we study the performance of the cumulative Automatic Repeat reQuest (ARQ) in IEEE 802.16 networks. An analytical model is developed to investigate some important per...
179
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract—This paper deals with estimation of the concentration of target molecules in a fluid when it flows past multiple biosensors. The fluid flow is modelled as an advecti...
167
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
128
click to vote
MICRO
2008
IEEE
15 years 4 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...