1675 search results - page 152 / 335 » Compositional Model-Based Design |
176
click to vote
CSFW
1995
IEEE
15 years 10 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...
150
click to vote
TGC
2007
Springer
16 years 19 days 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...
186
click to vote
ICALT
2006
IEEE
16 years 17 days 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...
174
click to vote
APLAS
2004
ACM
15 years 12 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...
152
click to vote
COMPSAC
2002
IEEE
15 years 11 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...