Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 21-30 of 2018
Item hits:
Issue DateTitleAuthor(s)
1-Jan-2015Architectures and Precision Analysis for Modelling Atmospheric Variables with Chaotic BehaviourRussell, FP; Düben, PD; Niu, X; Luk, W; Palmer, TN
1-Dec-2010Teleo-Reactive policies for managing human-centric pervasive services.Marinovic, S; Twidle, KP; Dulay, N; Sloman, M
12-Sep-2013Product-Forms in Multi-Way SynchronizationsHarrison, PG; Marin, A
15-Jun-2010A differential operator and weak topology for Lipschitz mapsEdalat, A
1-Feb-2010Trace data characterization and fitting for Markov modelingCasale, G; Zhang, EZ; Smirni, E
1-Jan-2010Model-Driven System Capacity Planning under Workload BurstinessCasale, G; Mi, N; Smirni, E
13-May-2016Verifying Security Properties in Unbounded Multiagent SystemsBoureanu, I; Kouvaros, P; Lomuscio, A; Engineering & Physical Science Research Council (EPSRC); Commission of the European Communities, et al
12-Mar-2016Maximum Likelihood Estimation of Closed Queueing Network Demands from Queue Length DataWang, W; Casale, G; Ajay Kattepur; Manoj Nambiar; Commission of the European Communities
15-Sep-2015Towards Quality-Aware Development of Big Data Applications with DICECasale, G; Di Nitto, E; Spais, I
30-Apr-2013A syntactic-semantic approach to incremental verificationBianculli, D; Filieri, A; Ghezzi, C; Mandrioli, D