10396 search results - page 1755 / 2080 » Deployment Support Network |
166
click to vote
ICSOC
2009
Springer
15 years 2 months ago
2009
Springer
With increasingly complex and heterogeneous systems in pervasive service computing, it becomes more and more important to provide self-protected services to end users. In order to ...
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper reports our work on extending the OMNeT++ INET Framework with a directional radio model, putting a special emphasis on the implementation of asymmetrical communications...
200
click to vote
IMCSIT
2010
15 years 2 months ago
2010
Recently we have setup the goal of investigating new truly distributed forms of Ant Colony Optimization. We proposed a new distributed approach for Ant Colony Optimization (ACO) al...
162
click to vote
CORR
2011
Springer
14 years 12 months ago
2011
Springer
The context of a software developer is something hard to define and capture, as it represents a complex network of elements across different dimensions that are not limited to th...
174
click to vote
NFM
2011
14 years 12 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...