5263 search results - page 468 / 1053 » Open Constraint Optimization |
189
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
172
click to vote
ENTCS
2006
15 years 7 months ago
2006
Weak bisimilarity is one of the most studied behavioural equivalences. This equivalence is undecidable for pushdown processes (PDA), process algebras (PA), and multiset automata (...
216
click to vote
IJHR
2008
15 years 7 months ago
2008
Motion planning for humanoids faces several challenging issues: high dimensionality of the configuration space, necessity to address balance constraints in single and double suppo...
179
click to vote
JDS
2006
15 years 6 months ago
2006
Civil emergency management is discussed when more than one aid organisation is involved in solving an emergency problem. This paper analyses interagency cooperation, decision-makin...
167
click to vote
CCE
2004
15 years 6 months ago
2004
Design process excellence is considered a major differentiating factor between competing enterprises since it determines the constraints within which plant operation and supply ch...