Sciweavers

3914 search results - page 14 / 783
» Automating SLA modeling
Sort
View
121
Voted
DLOG
2004
15 years 5 months ago
Towards Implementing Finite Model Reasoning in Description Logics
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo
90
Voted
DLOG
2003
15 years 5 months ago
Modeling Software
John Mylopoulos
101
Voted
DLOG
1996
15 years 5 months ago
Finite Model Reasoning in Description Logics
Diego Calvanese
114
Voted
CSL
2008
Springer
15 years 3 months ago
Explicit modelling of session variability for speaker verification
Robbie Vogt, Sridha Sridharan