1922 search results - page 140 / 385 » Systems biology, models, and concurrency |
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
102
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
123
click to vote
DEXAW
2002
IEEE
15 years 6 months ago
2002
IEEE
Optimistic replication of data is a widely used tool for mobile environments, but the behavior of concurrent conflicting updates caused by the relaxed consistency model is poorly ...
108
click to vote
ICALP
2001
Springer
15 years 6 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
111
click to vote
AIPS
2006
15 years 3 months ago
2006
Recently the problem of automatic composition of workflows has been receiving increasing interest. Initial investigation has shown that designing a practical and scalable composit...