Sciweavers

4209 search results - page 539 / 842
» Abstract Dialectical Frameworks
Sort
View
JSAC
2006
106views more  JSAC 2006»
15 years 4 months ago
Mathematical Decomposition Techniques for Distributed Cross-Layer Optimization of Data Networks
Abstract--Network performance can be increased if the traditionally separated network layers are jointly optimized. Recently, network utility maximization has emerged as a powerful...
Björn Johansson, Pablo Soldati, Mikael Johans...
JSW
2006
89views more  JSW 2006»
15 years 4 months ago
Towards a Mathematical Foundation for Service-Oriented Applications Design
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio...
MSCS
2008
97views more  MSCS 2008»
15 years 4 months ago
Logical relations for monadic types
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
Jean Goubault-Larrecq, Slawomir Lasota, David Nowa...
164
Voted
KES
2006
Springer
15 years 4 months ago
Scheduling Jobs on Computational Grids Using Fuzzy Particle Swarm Algorithm
Abstract. Grid computing is a computing framework to meet the growing computational demands. This paper introduces a novel approach based on Particle Swarm Optimization (PSO) for s...
Ajith Abraham, Hongbo Liu, Weishi Zhang, Tae-Gyu C...
122
Voted
KES
2006
Springer
15 years 4 months ago
Developing a Decision Support System for a Dove's Voice Competition
Abstract. Zebra dove's voice competition has become more popular in Thailand and many other South East Asian countries. Even though there are specific judging rules to follow,...
Chotirat Ann Ratanamahatana