5263 search results - page 221 / 1053 » Open Constraint Optimization |
157
click to vote
CISS
2010
IEEE
14 years 7 months ago
2010
IEEE
— AHNs are wireless networks operating without the benefits of network infrastructure (basestations) or centralized control. AHNs working with limited spectrum perform best when...
155
click to vote
CSL
2001
Springer
15 years 8 months ago
2001
Springer
Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...
120
Voted
DALT
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
124
click to vote
ECEASST
2008
15 years 4 months ago
2008
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...
166
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...