6581 search results - page 164 / 1317 » Formalizing Design Patterns |
104
click to vote
FUIN
2008
15 years 3 months ago
2008
We introduce Nuovo DRM, a digital rights management scheme aimed to provide formal and practical security. The scheme is based on a recent DRM scheme, which we formally specify in ...
125
click to vote
CC
1999
Springer
15 years 3 months ago
1999
Springer
In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the speci cation of imperative object oriented programming languages.
154
Voted
JIPS
2010
14 years 10 months ago
2010
Spatio-temporal patterns extracted from historical trajectories of moving objects reveal important knowledge about movement behavior for high quality LBS services. Existing approac...
108
Voted
IADIS
2004
15 years 4 months ago
2004
When building Hypermedia/Web Applications, (different) designers are often faced with the same problems over and over again. Those recurring problems soon yield elegant solutions,...
104
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
To increase the relevancy of local patterns discovered from noisy relations, it makes sense to formalize error-tolerance. Our starting point is to address the limitations of state...