5339 search results - page 66 / 1068 » Controllable Delay-Insensitive Processes |
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
ZUM
1998
Springer
14 years 29 days ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
PDCN
2004
13 years 10 months ago
2004
The Grid is the computing and data management infrastructure, which is transforming science, business, health and society. This paper deals with a challenging task addressing know...
KI
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Scene interpretation systems are often conceived as extensions of low-level image analysis with bottom-up processing for high-level interpretations. In this contribution ...
RBAC
1997
13 years 10 months ago
1997
The RBAC metaphor is powerful in its ability to express access control policy in terms of the way in which administrators view organizations. The functionality of simple Role Base...