1078 search results - page 125 / 216 » Modelling and Verifying of e-Commerce Systems |
161
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...
127
click to vote
ASYNC
2007
IEEE
15 years 8 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
137
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir1, , Andreas Podelski1 , and Thomas Wies1,2 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We p...
122
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Researchers of HIV-1 are today, still unable to determine exactly the biological mechanisms that cause AIDS. Various mechanisms have been hypothesized and their existences have be...
133
click to vote
IFIP8
2007
15 years 5 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...