5904 search results - page 846 / 1181 » Requirements for a Composition Language |
189
click to vote
SACMAT
2006
ACM
16 years 21 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
208
click to vote
SCESM
2006
ACM
16 years 21 days ago
2006
ACM
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
154
Voted
SIGCSE
2006
ACM
16 years 21 days ago
2006
ACM
This paper proposes an accessibility first pedogogy for web design, in which the course is organized around the requirement of implementing web pages accessible to visually impai...
175
click to vote
ANSS
2005
IEEE
16 years 12 days ago
2005
IEEE
When performed on a classical computer, the simulation of quantum circuits is usually an exponential job. The methodology based on Hardware Description Languages is able to isolat...
188
click to vote
APSEC
2005
IEEE
16 years 12 days ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...