Sciweavers

2055 search results - page 91 / 411
» Generic Model Refactorings
Sort
View
SPLC
2007
15 years 2 months ago
Reasoning about Feature Models in Higher-Order Logic
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
Mikolás Janota, Joseph Kiniry
SBACPAD
2003
IEEE
103views Hardware» more  SBACPAD 2003»
15 years 7 months ago
Performance Analysis Issues for Parallel Implementations of Propagation Algorithm
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...
Leonardo Brenner, Luiz Gustavo Fernandes, Paulo Fe...
HICSS
2000
IEEE
130views Biometrics» more  HICSS 2000»
15 years 6 months ago
Towards a Relationship Navigation Analysis
Many conceptual modeling and system design methodologies provide tools to help system designers to model the real world. No guidelines exist, however, for determining the relation...
Joonhee Yoo, Michael Bieber
CRYPTO
2011
Springer
232views Cryptology» more  CRYPTO 2011»
14 years 1 months ago
Optimal Structure-Preserving Signatures in Asymmetric Bilinear Groups
Structure-preserving signatures are signatures defined over bilinear groups that rely on generic group operations. In particular, the messages and signatures consist of group elem...
Masayuki Abe, Jens Groth, Kristiyan Haralambiev, M...
WISE
2009
Springer
15 years 8 months ago
Multi-synchronous Collaborative Semantic Wikis
Semantic wikis have opened an interesting way to mix Web 2.0 advantages with the Semantic Web approach. However, compared to other collaborative tools, wikis do not support all col...
Charbel Rahhal, Hala Skaf-Molli, Pascal Molli, St&...