4047 search results - page 53 / 810 » Some Properties and Some Problems on Set Functors |
IWPEC
2004
Springer
15 years 5 months ago
2004
Springer
We consider parameterized problems where some separation property has to be achieved by deleting as few vertices as possible. The following five problems are studied: delete k ve...
STOC
2004
ACM
16 years 3 days ago
2004
ACM
We present a probabilistic analysis for a large class of combinatorial optimization problems containing, e.g., all binary optimization problems defined by linear constraints and a...
AOSE
2005
Springer
15 years 5 months ago
2005
Springer
Several concerns in the development of multi-agent systems (MASs) cannot be represented in a modular fashion. In general, they inherently affect several system modules and cannot b...
110
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
124
click to vote
SAFECOMP
1998
Springer
15 years 4 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...