1860 search results - page 267 / 372 » tools 2009 |
101
Voted
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...
97
Voted
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach...
127
Voted
OTM
2009
Springer
15 years 7 months ago
2009
Springer
Pervasive environments can be hard to configure and interact with using handheld computing devices, due to the mismatch between physical and digital worlds. Usually, smart resourc...
135
Voted
PAIRING
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Efficient non-interactive zero-knowledge proofs are a powerful tool for solving many cryptographic problems. We apply the recent Groth-Sahai (GS) proof system for pairing...
95
Voted
PRIB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. With widespread use of microarray technology as a potential diagnostics tool, the comparison of results obtained from the use of different platforms is of interest. When...