336 search results - page 42 / 68 » Using a Model Merging Language for Reconciling Model Version... |
129
click to vote
JCP
2006
15 years 4 months ago
2006
Abstract-- This paper is concerned with passwordauthenticated key agreement protocols. Designing such protocols represents an interesting challenge since there is no standard way o...
173
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state...
155
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
153
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
234
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...