3435 search results - page 82 / 687 » Aspect Model Unweaving |
116
click to vote
JCS
2002
15 years 4 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
139
click to vote
TASLP
2010
15 years 2 months ago
2010
—We consider representing a short temporal fragment of musical audio as a dynamic texture, a model of both the timbral and rhythmical qualities of sound, two of the important asp...
120
click to vote
ENVSOFT
2010
15 years 1 months ago
2010
We present a modelling approach to rapidly assess the effect of management decisions on ecological problems and demonstrate its use in fishery management. Each stage of the approa...
202
click to vote
ISPW
2011
IEEE
14 years 8 months ago
2011
IEEE
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...
120
click to vote
WOA
2010
15 years 2 months ago
2010
Models for the simulation of pedestrian dynamics and crowds of pedestrians have already been successfully applied to several scenarios and case studies, off-the-shelf simulators ca...