Sciweavers

13026 search results - page 250 / 2606
» Probabilistic Relational Models
Sort
View
TASE
2008
IEEE
15 years 10 months ago
A Relational Model for Confined Separation Logic
Shuling Wang, Luís Soares Barbosa, Jos&eacu...
ECBS
2007
IEEE
111views Hardware» more  ECBS 2007»
15 years 10 months 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
82
Voted
TACAS
2007
Springer
126views Algorithms» more  TACAS 2007»
15 years 10 months ago
Kodkod: A Relational Model Finder
Emina Torlak, Daniel Jackson
110
Voted
IJCNLP
2005
Springer
15 years 9 months ago
Automatic Relation Extraction with Model Order Selection and Discriminative Label Identification
Jinxiu Chen, Dong-Hong Ji, Chew Lim Tan, Zheng-Yu ...
107
Voted
RE
2005
Springer
15 years 9 months ago
On Modelling Access Policies: Relating Roles to their Organisational Context
Robert Crook, Darrel C. Ince, Bashar Nuseibeh