2005 search results - page 124 / 401 » Models and Meta Models for Transactions in Web Applications |
155
click to vote
SG
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We propose a meta user interface to design the user interface to tune vector-valued parameters of a given parametrized model. In our framework, the user defines a desire...
181
click to vote
MODELLIERUNG
2010
15 years 7 months ago
2010
: The evolution of software systems often produces incompatibilities with existing data and applications. To prevent incompatibilities, changes have to be wellplanned, and develope...
151
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
176
click to vote
VLC
2008
15 years 6 months ago
2008
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...
144
click to vote
OTM
2007
Springer
16 years 15 days ago
2007
Springer
Security is becoming one of the major concerns for web applications and other Internet based services, which are becoming pervasive in all kinds of business models and organization...