Sciweavers

13026 search results - page 250 / 2606
» Probabilistic Relational Models
Sort
View
TASE
2008
IEEE
16 years 29 days ago
A Relational Model for Confined Separation Logic
Shuling Wang, Luís Soares Barbosa, Jos&eacu...
ECBS
2007
IEEE
111views Hardware» more  ECBS 2007»
16 years 28 days ago
Model-Based Empirical Performance Evaluation Based on Relational Traces
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
Marko Boskovic
TACAS
2007
Springer
126views Algorithms» more  TACAS 2007»
16 years 21 days ago
Kodkod: A Relational Model Finder
Emina Torlak, Daniel Jackson
RE
2005
Springer
16 years 2 days ago
On Modelling Access Policies: Relating Roles to their Organisational Context
Robert Crook, Darrel C. Ince, Bashar Nuseibeh