الصفحة 1
الصفحة 1
Trust in Agent Societies ; 11th International Workshop, TRUST 2008, Estoril, Portugal, May 12 -13, 2008. Revised Selected and Invited Papers
Organized in ternary topical sections on theoretical and applicative aspects of trust (from a engineering, cognitive, computational, sociological point of view), on formal models in the field of applied logic and applied mathematics, and finally on models of reputation systems, theory-driven and empirically backed-up guidelines for designing reputation technologies, and analysis and discussion of existing reputation systems.
Transactions on Aspect-Oriented Software Development IV : Focus : Early Aspects and Aspects of Software Evolution
This volume, the fourth in the Transactions on Aspect-Oriented Software Development series, presents 5 revised papers together with 2 guest editors' introductions. The papers, which focus on mapping of early aspects across the software lifecycle, and aspects and software evolution, have passed through a careful peer reviewing process, carried out by the journal's Editorial Board and expert referees.
Transactions on Aspect-Oriented Software Development III : Focus : Early Aspects
This volume, the third in the Transactions on Aspect-Oriented Software Development series, presents 6 revised papers together with a guest editors' introduction. The papers, which focus on analysis, visualization, conflict identification and composition of early aspects, have passed through a careful peer reviewing process, carried out by the journal's Editorial Board and expert referees.
Transactions on Aspect-Oriented Software Development II : Focus : AOP Systems, Software and Middleware
This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, a guest editors' introduction, and 6 papers in a special section that have been through a careful peer reviewing process by the journal's Editorial Board. Besides a wide range of topics from software design to implementation of aspect-oriented languages, the 6 papers of the special section concentrate on AOP systems, software and middleware.
Transactions on Aspect-Oriented Software Development I
This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers that have been through a careful peer reviewing process by the journal's Editorial Board. The papers cover a wide range of topics from software design to implementation of aspect-oriented languages. The first four articles address various issues of aspect-oriented modeling at the design level; the following four articles discuss various programming language issues. The final article in this volume describes a workbench for implementing aspect-oriented languages, so that easy experimentation with new language features and implementation techniques are possible.
Tests and Proofs ; 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ideas from both areas for the advancement of software quality. Topics addressed are generation of test cases, oracles, or preambles by theorem proving, model checking, symbolic execution, or constraint logic programming; generation of specifications by deduction; verification techniques combining proofs and tests; program proving with the aid of testing techniques; transfer of concepts from testing to proving; automatic tools; formal frameworks; as well as case studies.
Strategy and Organization of Corporate Banking
The impressive development of the finance literature with its emphasis on asset pricing and the formal modeling of incentive systems during the past three decades, has largely relegated the business and operational aspects of banking as an industry from the agenda of academic research. Though this is understandable, it is especially regrettable in view of the dynamic dev- opments in the banking industry which have started about a decade ago and are currently in full swing. Fortunately, there are now signs of a change to the effect that banking is back on the research agenda. The p- sent book by Professor De Laurentis and his co-authors is a highly inno- tive and interesting manifestation of this reorientation. Banking is an important part of any financial system, and it is especially important in the financial systems of the countries of Continental Europe, such as Italy, France, and Germany, which have been bank-based for d- ades and which are, in my view, likely to remain bank-based for the fo- seeable future. There are many reasons, based on empirical and theoretical considerations, to believe that strong banks are not only important for the banking industry itself, but also for the respective national economies.
Software Architectures, Components, and Applications ; 3rd International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007, Revised Selected Papers
Researchers and professionals will find in this text the thoroughly refereed post-proceedings of the Third International Conference on the Quality of Software Architectures, QoSA 2007, held in Medford, MA, USA, in 2007
Quality of Software Architectures. Models and Architectures ; 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
This book is organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, architecture evaluation, architecture evolution, architecting process and architectural knowledge.
Programming Languages and Systems ; 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Contains the papers presented at the 27th European Symposium on Pro-gramming (ESOP 2018) held 2018, in Thessaloniki, Greece. ESOP is one of the European Joint Conferences on Theory and Practice of Software (ETAPS). It is devoted to fundamental issues in the specification, design, analysis, and implementa- tion of programming languages and systems. The 36 papers in this volume were selected from 114 submissions based on origi-nality and quality.
Preferences and Procedures : European Union Legislative Decision-Making
Preferences and Procedures presents and tests game-theoretic models of European Union legislative decision-making. It is inspired by the idea of linking statistical testing strategies firmly to formal models of EU policymaking. After describing salient features of the EU legislative process and comparing different models of how the EU negotiates new legislative measures, the models' predictive power is evaluated. On a more general level, Preferences and Procedures answers questions regarding the empirically recognizable effects of institutional arrangements on joint bargaining outcomes.
Intelligent Distributed Computing, Systems and Applications ; Proceedings of the 2nd International Symposium on Intelligent Distributed Computing – IDC 2008, Catania, Italy, 2008
Addresses many topics related to intelligent and distributed computing, systems and applications, including: adaptivity and learning; agents and multi-agent systems; argumentation; auctions; case-based reasoning; collaborative systems; data structures; distributed algorithms; formal modeling and verification; genetic and immune algorithms; grid computing; information extraction, annotation and integration; network and security protocols; mobile and ubiquitous computing; ontologies and metadata; P2P computing; planning; recommender systems; rules; semantic Web; services and processes; trust and social computing; virtual organizations; wireless networks; XML technologies.
Innovation, Industrial Dynamics and Structural Transformation : Schumpeterian Legacies
This book provides an account of work in the Schumpeterian and evolutionary tradition of industrial dynamics and the evolution of industries. It is shown that over time industries evolve and change their structure. In this dynamic process change is affected and sometimes constraint by many factors: knowledge and technologies, the capabilities and incentives of actors, new products and processes, and institutions. All these elements and their relations drive innovative activities and affect economic performance in an industry. Investigations into these complex phenomena show a deep interdependence between empirical work delivering a rich account of regularities and stylized facts in the structure of industries and their change, and theoretical analyses ranging from appreciate theorizing to formal modeling.
Heterogeneous Objects Modelling and Applications : Collection of Papers on Foundations and Practice
Heterogeneous object modelling is a new and quickly developing research area. This book is one of the first attempts to systematically cover the most relevant themes and problems of this new and challenging subject area. It is a collection of invited papers and papers co-authored by the editors. Each chapter presents either new research results or a survey on the following topics:Formal models and abstractions of heterogeneous objects including geometric, topological, discrete and continuous models, operations forming special algebras and conversions between different model types.
Geometric Algebra for Computer Graphics
The first five chapters review the algebras of real numbers, complex numbers, vectors, and quaternions and their associated axioms, together with the geometric conventions employed in analytical geometry. As well as putting geometric algebra into its historical context, John Vince provides chapters on Grassmann’s outer product and Clifford’s geometric product, followed by the application of geometric algebra to reflections, rotations, lines, planes and their intersection. The conformal model is also covered, where a 5D Minkowski space provides an unusual platform for unifying the transforms associated with 3D Euclidean space.
Formal Models of Operating System Kernels
The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating systems are to achieve the levels of reliability and security that is demanded of them today. Specifications of a sequence of kernels of increasing complexity are included, acting as models to enable the designer to identify and reason about the properties of the design – thus making explicit that which is too often left implicit or even unknown.
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.
Formal Modelling in Electronic Commerce
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, and policies of commerce itself. These include business objects such as bills of lading and contracts; processes such as workflows and trade procedures; and policies covering such problems as contract or procedure validation and strategic behaviour. This book is about theory, formalization, and proof-of-concept implementation of these and related matters. In addition to presenting state-of-the-art results, the book places this work in the context of nearly twenty years of developments in formal modelling for electronic commerce. A comprehensive bibliography and index are provided.
Formal Modeling and Analysis of Timed Systems ; Vol.4202 ; 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share interests in modelling and analysis of timed systems. In this volume, there are articles on: – Foundations and Semantics: contributions to the theoretical foundations of timed systems and timed formal languages as well as comparison between di?erentmodelsusedbydi?erentcommunities(timedautomata,timedPetri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models). – Methods and Tools: techniques, algorithms, data structures, and software toolsforanalyzingtimedsystemsandresolvingtemporalconstraints(mod- checking, simulation, robustness analysis, scheduling, etc).
Formal Modeling and Analysis of Timed Systems ; Vol. 3829 ; 3rd International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2005, held in Uppsala, Sweden in September 2005 in conjunction with ARTIST2 summer school on Component Modelling, Testing and Verification, and Static analysis of embedded systems. The 19 revised full papers presented together with the abstracts of 3 invited talks were carefully selected from 43 submissions. The papers cover work on semantics and modeling of timed systems, formalisms for modeling and verification including timed automata, hybrid automata, and timed petri nets, games for verification and synthesis, model-checking, case studies and issues related to implementation, security and performance analysis.
