2450 search results - page 436 / 490 » On Application of Structural Decomposition for Process Model... |
138
Voted
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. Wireless multimedia terminals are among the key driver...
141
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
161
Voted
GG
2008
Springer
15 years 4 months ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
147
Voted
CACM
1998
15 years 3 months ago
1998
The long range goal of the “Virtual Design Team” (VDT) research program is to develop computational tools to analyze decision making and communication behavior and thereby to ...
169
Voted
ZUM
1997
Springer
15 years 8 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...