13553 search results - page 2519 / 2711 » A Generalized Multi-View Approach |
169
click to vote
ECMDAFA
2005
Springer
15 years 12 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
181
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
186
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
162
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
190
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...