6794 search results - page 1097 / 1359 » Semantics of Visual Languages |
145
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
121
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...
125
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...
153
Voted
SACMAT
2006
ACM
15 years 10 months 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...
154
click to vote
SCESM
2006
ACM
15 years 10 months 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...