The proceedings contain 18 papers. The topics discussed include: interprocess communication in real-time systems;an experimental implementation of the kernel/domain architecture;the Unix time-sharing system;ARGOS: an ...
The proceedings contain 18 papers. The topics discussed include: interprocess communication in real-time systems;an experimental implementation of the kernel/domain architecture;the Unix time-sharing system;ARGOS: an operating system for a computer utility supporting interactive instrument control;multiprocessor self diagnosis, surgery, and recovery in air terminal traffic control;and a page allocation strategy for multiprogramming systems.
The proceedings contain 23 papers. The topics discussed include: modeling an experimental computer communication network;packet arrival and buffer statistics in a packet switching node;traffic considerations in switch...
The proceedings contain 23 papers. The topics discussed include: modeling an experimental computer communication network;packet arrival and buffer statistics in a packet switching node;traffic considerations in switched data networks;deterministic and adaptive routing policies in packet-switched computer networks;an analysis of traffic handling capacity of packet switched and circuit switched networks;the economics of segregated and integrated systems in data communication with geometrically distributed message lengths;simulation of packet-switching networks controlled on algorithmic principles;three level subscriber signaling for data network;and a compatible multiplexing technique for an isochronous and isochronous digital data traffic.
This book constitutes the refereed proceedings of the 5th International symposium on Algorithmic Game Theory, SAGT 2012, held in Barcelona, Spain, in October 2012. The 22 revised full papers presented together with 2 ...
详细信息
ISBN:
(数字)9783642339967
ISBN:
(纸本)9783642339950
This book constitutes the refereed proceedings of the 5th International symposium on Algorithmic Game Theory, SAGT 2012, held in Barcelona, Spain, in October 2012. The 22 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 65 submissions. The papers present original research at the intersection of Algorithms and Game Theory and address various current topics such as solution concepts in game theory; efficiency of equilibria and price of anarchy; complexity classes in game theory; computational aspects of equilibria; computational aspects of fixed-point theorems; repeated games; evolution and learning in games; convergence of dynamics; coalitions, coordination and collective action; reputation, recommendation and trust systems; graph-theoretic aspects of social networks; network games; cost-sharing algorithms and analysis; computing with incentives; algorithmic mechanism design; computational social choice; decision theory, and pricing; auction algorithms and analysis; economic aspects of distributedcomputing; internet economics and computational advertising.
The proceedings contain 15 papers. The topics discussed include: an implementation of a multiprocessing computer system;a study of the effect of user program optimization in a paging system;virtual memory, processes, ...
The proceedings contain 15 papers. The topics discussed include: an implementation of a multiprocessing computer system;a study of the effect of user program optimization in a paging system;virtual memory, processes, and sharing in multics;a digital communication network for c0mputers giving rapid response at remote terminal;the working set model for program behavior;a position paper on computing and communications;consideration in the design of a multiple computer system with extended core storage;and protection in an information processing utility.
This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Adaptive Resource Management and Scheduling for Cloud computing, ARMS-CC 2014, held in Conjunction with ...
详细信息
ISBN:
(数字)9783319134642
ISBN:
(纸本)9783319134635
This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Adaptive Resource Management and Scheduling for Cloud computing, ARMS-CC 2014, held in Conjunction with acmsymposium on principles of distributedcomputing, PODC 2014, in Paris, France, in July 2014. The 14 revised full papers (including 2 invited talks) were carefully reviewed and selected from 29 submissions and cover topics such as scheduling methods and algorithms, services and applications, fundamental models for resource management in the cloud.
The effective operation of free enterprise in creating the envisioned information service industry is dependent on three accomplishments: 1. The restructuring of our information processing industry to provide a clear ...
详细信息
Basic Time-Sharing is an attempt to systematize the computingprinciples which should underlie the design of operating systems. These principles emphasize the fundamental separateness of work and resources and the par...
For the second time, the European Software Engineering Conference is being held jointly with the acm SIGSOFT symposium on the Foundations of Software Engine- ing (FSE). Although the two conferences have different orig...
详细信息
ISBN:
(数字)9783540481669
ISBN:
(纸本)9783540665380
For the second time, the European Software Engineering Conference is being held jointly with the acm SIGSOFT symposium on the Foundations of Software Engine- ing (FSE). Although the two conferences have different origins and traditions, there is a significant overlap in intent and subject matter. Holding the conferences jointly when they are held in Europe helps to make these thematic links more explicit, and enco- ages researchers and practitioners to attend and submit papers to both events. The ESEC proceedings have traditionally been published by Springer-Verlag, as they are again this year, but by special arrangement, the proceedings will be distributed to members of acm SIGSOFT, as is usually the case for FSE. ESEC/FSE is being held as a single event, rather than as a pair of collocated events. Submitted papers were therefore evaluated by a single program committee. ESEC/FSE represents a broad range of software engineering topics in (mainly) two continents, and consequently the program committee members were selected to represent a spectrum of both traditional and emerging software engineering topics. A total of 141 papers were submitted from around the globe. Of these, nearly half were classified as research - pers,aquarterasexperiencepapers,andtherestasbothresearchandexperiencepapers. Twenty-nine papers from five continents were selected for presentation and inclusion in the proceedings. Due to the large number of industrial experience reports submitted, we have also introduced this year two sessions on short case study presentations.
The International symposium on Rule Interchange and Applications (RuleML-2007), collocated in Orlando, Florida, with the Tenth International Business Rules Forum, was the first symposium devoted to work on practical d...
详细信息
ISBN:
(数字)9783540759751
ISBN:
(纸本)9783540759744
The International symposium on Rule Interchange and Applications (RuleML-2007), collocated in Orlando, Florida, with the Tenth International Business Rules Forum, was the first symposium devoted to work on practical distributed rule technologies and rule-based applications which need language standards for rules operating in the context of modern infrastructures, including the Semantic Web, intelligent multi-agent systems, event-driven architectures, and service-oriented computing applications. The symposium was organized by the RuleML Initiative, financially and technically supported by industrial companies (Top Logic, VIStology, and Inferware) and in cooperation with professional societies (ECCAI, AAAI, acm, acm SIGAPP, acm SIGMIS, acm SIGART, acm SIGMOD, IEEE, IEEE Computer TCAAS, IEEE SMCS, BPM-Forum, W3C, OMG, and OASIS). The RuleML Initiative is organized by representatives from academia, industry and government for the advancement of rule technology, providing enhanced usability, scalability and performance. The goal of RuleML (www. ruleml. org) is to develop an open, general, XML-based family of rule languages as intermediaries between various ‘specialized’ rule vendors, applications, industrial and academic research groups, as well as standardization efforts such as OMG’s PRR or W3C’s RIF. A general advantage of using declarative rules is that they can be easily represented in a machine-readable and platform-independent manner, often governed by an XML schema. This fits well into today’s distributed, heterogeneous Web-based system environments. Rules represented in standardized Web formats can be discovered, interchanged and invoked at runtime within and across Web systems, and can be interpreted and executed on any platform.
The proceedings contain 23 papers. The topics discussed include: formal languages and power series;loop schemata;fast matrix multiplication;linear representation of tree structure;on generalized finite automata and un...
The proceedings contain 23 papers. The topics discussed include: formal languages and power series;loop schemata;fast matrix multiplication;linear representation of tree structure;on generalized finite automata and unrestricted generative grammars;some results in tree automata;block structure: retention or deletion;and on the parallel computation of local operations.
暂无评论