4385 search results - page 789 / 877 » Abstraction for Concurrent Objects |
ATVA
2010
Springer
14 years 9 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
CP
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We study the problem of maximizing the amount of stochastic diffusion in a network by acquiring nodes within a certain limited budget. We use a Sample Average Approximati...
DEXA
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Sensor networks are increasingly used across various application domains. Their usage has the advantage of automated, often continuous, monitoring of activities and event...
76
Voted
FSTTCS
2010
Springer
14 years 9 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
104
click to vote
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--The paper studies the problem of distributed transmit beamforming with autonomous and self-organizing mobile antennas. The objective is to design a distributed algorithm ...