724 search results - page 57 / 145 » Color, context, and compositionality |
DSN
2009
IEEE
15 years 5 months ago
2009
IEEE
Decomposition is used to manage system complexity, but is problematic for emergent properties such as system safety. Previously, we introduced Indirect Control Path Analysis (ICPA...
110
click to vote
AOSD
2004
ACM
15 years 4 months ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...
77
Voted
ECOOPW
1999
Springer
15 years 3 months ago
1999
Springer
Moore’s Law is pushing us inevitably towards a world of pervasive, wireless, spontaneously networked computing devices. Whatever these devices do, they will have to talk to and n...
ER
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a methodology to derive views over a relational database by applying a sequence of appropriately defined operations to the global schema. Such tailoring and com...
69
Voted
CHARME
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...