4485 search results - page 336 / 897 » Equivalences on Observable Processes |
181
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...
199
click to vote
EPEW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
190
click to vote
MSV
2007
15 years 8 months ago
2007
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...
176
click to vote
WSCG
2004
15 years 8 months ago
2004
The parametrization of 3-d meshes can be used in many fields of computer graphics. Mesh-texturing, mesh-retriangulation or 3-d morphing are only few applications for which a mesh ...
192
click to vote
RBAC
1997
15 years 8 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...