1675 search results - page 152 / 335 » Compositional Model-Based Design |
123
Voted
CSFW
1995
IEEE
15 years 5 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
104
Voted
TGC
2007
Springer
15 years 8 months ago
2007
Springer
We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...
121
Voted
ICALT
2006
IEEE
15 years 8 months ago
2006
IEEE
Graphical dialogue -the collaborative construction and modification of drawings- forms an integrated part of many human interactions e.g., the construction of sketch maps, archite...
113
click to vote
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
Most aspect-oriented languages provide only a fixed, built-in set of pointcut designators whose denotation is only described informally. As a consequence, these languages do not p...
100
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension all...