4047 search results - page 118 / 810 » Some Properties and Some Problems on Set Functors |
173
click to vote
ICTAI
2009
IEEE
15 years 3 months ago
2009
IEEE
We address the problem of merging qualitative constraints networks (QCNs). We point out a merging algorithm which computes a consistent QCN representing a global view of the input...
154
click to vote
SIAMCO
2010
15 years 27 days ago
2010
A minimum time problem with a nonlinear smooth dynamics and a target satisfying an internal sphere condition is considered. Under the assumption that the minimum time T be continu...
163
click to vote
ATAL
2009
Springer
16 years 22 days ago
2009
Springer
Trust is a crucial basis for interactions among parties in large, open systems. Yet, the scale and dynamism of such systems make it infeasible for each party to have a direct basi...
133
click to vote
IFL
2003
Springer
15 years 11 months ago
2003
Springer
The presence of non-determinism in the parallel-functional language Eden creates some problems. Several non-determinism analyses have been developed to determine when an Eden expre...
151
click to vote
SP
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...