4047 search results - page 118 / 810 » Some Properties and Some Problems on Set Functors |
140
Voted
ICTAI
2009
IEEE
15 years 2 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...
128
click to vote
SIAMCO
2010
14 years 11 months 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...
140
click to vote
ATAL
2009
Springer
15 years 11 months 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...
117
click to vote
IFL
2003
Springer
15 years 9 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...
123
click to vote
SP
1997
IEEE
15 years 8 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...