Sciweavers

354 search results - page 32 / 71
» Roles, Subjects and Aspects: How Do They Relate
Sort
View
CSFW
2012
IEEE
11 years 11 months ago
Verifying Privacy-Type Properties in a Modular Way
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
Myrto Arapinis, Vincent Cheval, Stéphanie D...
DAC
2005
ACM
13 years 10 months ago
Differentiate and deliver: leveraging your partners
For the past 25 years, the EDA industry has played a major role in the growth of the semiconductor industry, providing tools and services that have helped companies develop electr...
Jay Vleeschhouwer, Warren East, Michael J. Fister,...
SOFTVIS
2005
ACM
14 years 2 months ago
CVSscan: visualization of code evolution
During the life cycle of a software system, the source code is changed many times. We study how developers can be enabled to get insight in these changes, in order to understand t...
Lucian Voinea, Alexandru Telea, Jarke J. van Wijk
SCESM
2006
ACM
239views Algorithms» more  SCESM 2006»
14 years 2 months ago
Aspect-oriented software design with a variant of UML/STD
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
Shin Nakajima, Tetsuo Tamai
BCSHCI
2008
13 years 10 months ago
From immersion to addiction in videogames
Immersion is commonly described by gamers and gamereviewers as an important aspect of a videogame. In this paper, we investigate the relationship between the immersive experience ...
May-li Seah, Paul A. Cairns