4609 search results - page 796 / 922 » Automatic Generation of Sigma-Protocols |
130
click to vote
DSML
2008
15 years 7 months ago
2008
: Today's online model repositories offer to download and view the textual specifications of e.g. metamodels and models in the browser. For users, in order to efficiently sear...
149
click to vote
GEOINFO
2007
15 years 7 months ago
2007
This work aims at increasing the development productivity of the Geographic Information Systems through the MDA. We defined an UML extension which adds geographic information to th...
169
click to vote
IADIS
2008
15 years 7 months ago
2008
Programming and developing of small scale software applications can be accomplished with simple command-line compilers that can be used to compile, test, and execute code generati...
168
click to vote
IADIS
2008
15 years 7 months ago
2008
Nowadays, data mining is based on low-level speci cations of the employed techniques typically bounded to a speci c analysis platform. Therefore, data mining lacks a modelling arc...
177
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
Effective management of Web Services systems relies on accurate understanding of end-to-end transaction flows, which may change over time as the service composition evolves. This ...