4218 search results - page 20 / 844 » Complete sets of cooperations |
127
Voted
CC
2005
Springer
15 years 9 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
108
Voted
COOP
2004
15 years 5 months ago
2004
This paper proposes a method which assists the firms for cooperating in make-to-order production. We especially focus on the operational decision levels of manufacturing companies ...
170
Voted
DALT
2005
Springer
15 years 9 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
152
Voted
STACS
2009
Springer
15 years 10 months ago
2009
Springer
Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute...
114
Voted
DAGSTUHL
2008
15 years 5 months ago
2008
: Let IIR be the set of closed and bounded intervals of real numbers. Arithmetic in IIR can be defined via the power set IPIR of real numbers. If divisors containing zero are exclu...