Sciweavers

2041 search results - page 28 / 409
» Modelling Generic Judgements
Sort
View
108
Voted
ER
2009
Springer
112views Database» more  ER 2009»
15 years 10 months ago
A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models
Jörg Becker, Patrick Delfmann, Sebastian Herw...
NOCS
2007
IEEE
15 years 10 months ago
A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study
Dominique Borrione, Amr Helmy, Laurence V. Pierre,...
104
Voted
WISE
2007
Springer
15 years 10 months ago
A Generic Approach to Improve Navigational Model Usability Based Upon Requirements and Metrics
Fernando Molina Molina, José Ambrosio Toval...
97
Voted
IWSEC
2007
Springer
15 years 10 months ago
Generic Certificateless Encryption in the Standard Model
Qiong Huang, Duncan S. Wong
AH
2006
Springer
15 years 10 months ago
GLAM: A Generic Layered Adaptation Model for Adaptive Hypermedia Systems
This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to p...
Cédric Jacquiot, Yolaine Bourda, Fabrice Po...