9732 search results - page 1915 / 1947 » Modelling Adaptivity with Aspects |
SIGGRAPH
1992
ACM
14 years 2 months ago
1992
ACM
To reduce the cost of correcting design errors, assemblies of mechanical parts are modeled using CAD systems and verified electronically before the designs are sent to manufacturi...
PET
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. As the popularity of social networks expands, the information users expose to the public has potentially dangerous implications for individual privacy. While social netwo...
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
ACMIDC
2009
14 years 2 months ago
2009
Informal educational experiences with grandparents and other older adults can be an important component of childrens education, especially in circumstances where high quality educ...
EXPCS
2007
14 years 2 months ago
2007
Experimental computer systems research typically ignores the end-user, modeling him, if at all, in overly simple ways. We argue that this (1) results in inadequate performance eva...