the proceedings contain 23 papers. the topics discussed include: static analysis of concurrent programs using ordinary differential equations;the secret art of computer programming;a first-order policy language for hi...
ISBN:
(纸本)3642034659
the proceedings contain 23 papers. the topics discussed include: static analysis of concurrent programs using ordinary differential equations;the secret art of computer programming;a first-order policy language for history-based transaction monitoring;checking thorough refinement on modal transition systems is EXPTIME-complete;transmission protocols for instruction streams;on the expressiveness of forwarding in higher-order communication;on the hairpin completion of regular languages;automatic conflict detection on contracts;a sound observational semantics for modal transition systems;regular expressions with numerical constraints and automata with counters;on the relative expressive power of contextual grammars with maximal and depth-first derivations;integration testing from structured first-order specifications via deduction modulo;a minimized assumption generation method for component-based software verification;and a formal approach to heuristically test restorable systems.
Large complex service centers must provide many services to many users with separate service contracts, while managing their overall costs. A scalable hybrid optimization procedure is described for a minimum-cost depl...
详细信息
ISBN:
(纸本)9781605585642
Large complex service centers must provide many services to many users with separate service contracts, while managing their overall costs. A scalable hybrid optimization procedure is described for a minimum-cost deployment of services on nodes, taking into account processing requirements and resource contention. this is a heuristic for a problem which is in general NP-hard. It iterates between a fast linear programming (LP) sub-problem, and a nonlinear performance model, both of which scale easily to thousands of services. the approach can be adapted to minimize cost subject to performance constraints, or to optimize a combined quality of service measure subject to cost constraints. It can be combined with tracked performance models to periodically re-optimize deployment for autonomic QOS management.
Future cellular radio systems aim at maximizing the spectral efficiency. OFDMA radio resources are the scarce good withtheir dimensions bandwidth, time and space. Due to frequency selective fading the effective pathl...
详细信息
ISBN:
(纸本)9781424436927
Future cellular radio systems aim at maximizing the spectral efficiency. OFDMA radio resources are the scarce good withtheir dimensions bandwidth, time and space. Due to frequency selective fading the effective pathloss varies in all dimensions. Adaptive algorithms are available which allocate the best modulation and coding scheme depending on the expected SINR, as well as dynamic subchannel assignment which aims to choose the best subchannel for each user. this already boosts the performance of OFDMA system. However, these algorithms alone do not touch the transmitted power per subchannel. On the cell edge this is fine, but large areas are covered with a transmitted power exceeding the usually required SINR. In this paper we introduce a power control which saves power on the users within the cell. this leads to a reduced interference into neighbor cells, especially for future reuse one systems. Also some of the saved power can be used to boost transmissions at the cell edge. In this paper we introduce an adaptive power control concept and arrange it into a closed loop control system which contains blocks for all adaptive algorithms for modulation, power, subchannel usage and channel quality indication.
this volume of Advances in Soft computing and Lecture Notes in Computer Science vols. 5551, 5552 and 5553, constitute the proceedings of the 6thinternational Symposium of Neural Networks (ISNN 2009) held in Wuhan, Ch...
ISBN:
(数字)9783642012167
ISBN:
(纸本)9783642012150
this volume of Advances in Soft computing and Lecture Notes in Computer Science vols. 5551, 5552 and 5553, constitute the proceedings of the 6thinternational Symposium of Neural Networks (ISNN 2009) held in Wuhan, China during May 26 - 29, 2009. ISNN is a prestigious annual symposium on neural networks with past events held in Dalian (2004), Chongqing (2005), Chengdu (2006), Nanjing (2007) and Beijing (2008). Over the past few years, ISNN has matured into a well-established series of internationalconference on neural networks and their applications to other fields. Following this tradition, ISNN 2009 provided an academic forum for the participants to disseminate their new research findings and discuss emerging areas of research. Also, it created a stimulating environment for the participants to interact and exchange information on future research challenges and opportunities of neural networks and their applications.
Moving target search or the game of cops and robbers has been given much attention during the last two decades. It is known that optimal solutions, given a n-cop-win graph, are computable in polynomial time in the siz...
详细信息
A new algorithm for pattern matching and unification in the form of natural language is proposed in this paper. this algorithm is put forwarded based on the method of enumeration which includes six sequential steps: t...
详细信息
the proceedings contain 99 papers. the topics discussed include: IPv6 - the next big bail-out. will IPv6 save the Internet?;advanced scalable algorithms for advanced architectures;national broadband program of the Rep...
the proceedings contain 99 papers. the topics discussed include: IPv6 - the next big bail-out. will IPv6 save the Internet?;advanced scalable algorithms for advanced architectures;national broadband program of the Republic of Bulgaria;hardware implementation of strategies for servicing queues;outline of RISC-based core for multiprocessor on chip architecture supporting moving threads;experiences with embedding MPL security monitors into Java programs;cyclic histogram thresholding and multithresholding;researching product tiles in eBay using the eBay API;architectural design of a software engine for adaptation control for the ADOPTA e-learning platform;design of service level agreements for software services;a bottom approach of fusion of events in surveillance systems;controlling the speed of coding line conveyor using fuzzy logic;and limitations of multivariable controller tuning using genetic algorithms.
this paper presents algorithmic approaches for the transformation of list based search results from a semantic search engines (i.e. SemSearch(1)) into a visual representation. We present the results and methodology of...
详细信息
ISBN:
(纸本)9780769537634
this paper presents algorithmic approaches for the transformation of list based search results from a semantic search engines (i.e. SemSearch(1)) into a visual representation. We present the results and methodology of our preliminary implementation of the semantic search visualization engine (ViSS). ViSS, takes as input the semantic structure of semantic search results and reproduces them into a summarized, conclusive and meaningful graphical representation. Depending on the semantic search results our algorithms select the best visual representations. the current version of ViSS supports visual formats of directed graphs, charts and tables.
Methods Our SNP selection algorithm is based on the notion of Pareto optimality [1], which has been extensively used for addressing multi-objective optimization problems in game theory, economics and engineering. [.....
详细信息
Methods Our SNP selection algorithm is based on the notion of Pareto optimality [1], which has been extensively used for addressing multi-objective optimization problems in game theory, economics and engineering. [...] we clearly show that our system improves upon general-purpose search algorithms for identifying Pareto optimal solutions (p-values are 1.37e-004, 3.11e-015, 2.43e-149 and 3.89e-179).
the 7(th) international Workshop on Agent-based computing for Enterprise Collaboration at WETICE 2009 aims at bringing together researchers in the field of software services and dynamic collaboration supported by soft...
详细信息
ISBN:
(纸本)9781424447282
the 7(th) international Workshop on Agent-based computing for Enterprise Collaboration at WETICE 2009 aims at bringing together researchers in the field of software services and dynamic collaboration supported by software agents. this overview provides a brief introduction to the papers accepted by the workshop, and a discussion about the main issues highlighted by them.
暂无评论