Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

Results 11-20 of 52
Item hits:
Issue DateTitleAuthor(s)
14-Oct-2010A logic with conditional probability operatorsDoder, D; Marinković, B; Maksimović, P; Perović, A
1-Sep-2010PCTL Model Checking of Markov Chains: Truth and Falsity as Winning Strategies in GamesWagner, D; Piterman, N; Huth, M; Fecher, H
16-Aug-2010Abstraction and refinement in local reasoningDinsdale-Young, T; Gardner, PA; Wheelhouse, M
31-Dec-2010DEFCon: High-Performance Event Processing with Information SecurityMigliavacca, M; Papagiannis, I; Eyers, DM; Shand, B; Bacon, JM, et al
1-Dec-2010Policy Generation Framework for Large-Scale Storage Infrastructures.Routray, R; Zhang, R; Eyers, DM; Willcocks, D; Pietzuch, P, et al
7-Dec-2010A space and time efficient algorithm for SimRank computationYu, W; Zhang, W; Lin, X; Zhang, Q; Le, J
1-Feb-2010Modal and mixed specifications: key decision problems and their complexitiesAntonik, A; Huth, M; Larsen, KG; Nyman, U; Wasowski, A
1-Dec-2010Collaborative Privacy Policy Authoring in a Social Networking Context.Wishart, R; Corapi, D; Marinovic, S; Sloman, M
1-Mar-2010Metastable Chimera States in Community-Structured Oscillator NetworksShanahan, M
1-Jan-2010First-order Logic Learning in Artificial Neural NetworksGuillame-Bert, M; Broda, K; Garcez, AD