16216 search results - page 2959 / 3244 » Effective Modeling with Constraints |
184
click to vote
BROADNETS
2004
IEEE
15 years 10 months ago
2004
IEEE
Traditionally, the routing problem is addressed at the network layer, an approach that has been extended to the wireless realm. In wireless multihop networks, however, strict laye...
181
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
174
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We study the effects of various emergent topologies of interaction on the rate of language convergence in a population of communicating agents. The agents generate, parse, and lea...
152
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
While meta-heuristics are effective for solving large-scale combinatorial optimization problems, they result from time-consuming trial-and-error algorithm design tailored to speci...
166
click to vote
BALT
2006
15 years 10 months ago
2006
Abstract. Modern software engineering attacks its complexity problems by applying well-understood development principles. In particular, the systematic adoption of design patterns ...