2776 search results - page 444 / 556 » System-Level Abstraction Semantics |
159
click to vote
EGOV
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. Web 2.0 applications attract more and more people to express their opinions on the Web in various ways. However, the explosively increasing information in social web site...
139
click to vote
FC
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. The Chip Authentication Programme (CAP) has been introduced by banks in Europe to deal with the soaring losses due to online banking fraud. A handheld reader is used toge...
190
click to vote
FM
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
166
click to vote
MODELS
2009
Springer
16 years 23 days 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...
166
click to vote
PPDP
2009
Springer
16 years 22 days ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...