1078 search results - page 204 / 216 » Modelling and Verifying of e-Commerce Systems |
152
Voted
POPL
2011
ACM
14 years 4 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
112
Voted
SIGMOD
2011
ACM
14 years 4 months ago
2011
ACM
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...
137
Voted
EMSOFT
2011
Springer
14 years 1 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
126
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
141
click to vote
WCNC
2008
IEEE
15 years 8 months ago
2008
IEEE
—This paper provides analytical expressions to evaluate the performance of a random access wireless network in terms of user throughput and network throughput, subject to the con...