1414 search results - page 210 / 283 » Combining Intruder Theories |
GG
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
125
click to vote
GG
2008
Springer
14 years 11 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...
ACMDIS
2010
ACM
14 years 10 months ago
2010
ACM
Artifacts can be used to inspire, guide, and create new designs. As approaches to design can range from focusing on inspiration to formalized reasoning, we seek to create and stud...
ACMDIS
2010
ACM
14 years 10 months ago
2010
ACM
Motivated and informed by perspectives on sustainability and design, this paper draws on a diverse body of scholarly works related to energy and materiality to articulate a perspe...
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...