955 search results - page 144 / 191 » Model Checking Operator Procedures |
114
Voted
CBSE
2005
Springer
15 years 6 months ago
2005
Springer
In existing component models, control originates in components, and connectors are channels for passing on the control to other components. This provides a mechanism for message pa...
SMA
2003
ACM
15 years 6 months ago
2003
ACM
We present a method to estimate the in/out function of a closed surface represented by an unorganized set of data points. From the in/out function, we compute an approximation of ...
105
Voted
IATA
1998
Springer
15 years 5 months ago
1998
Springer
In this paper, we present several approaches to making the process of configuring network devices easier than is currently the case. Configuring a device requires that a number of ...
114
click to vote
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
Recovering multiple point light sources from a sparse set of photographs in which objects of unknown texture can move is challenging. This is because both diffuse and specular ref...
233
Voted
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...