الصفحة 1
الصفحة 1
From Animals to Animats 9 ; 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Simulation of Adaptive Behavior, SAB 2006. The 35 revised full papers and 35 revised poster papers presented are organized in topical sections on the animat approach to adaptive behaviour, perception and motor control, action selection and behavioral sequences, navigation and internal world models, learning and adaptation, evolution, collective and social behaviours, applied adaptive behavior and more.
Formal techniques for computer systems and business processes ; European performance engineering workshop, EPEW 2005 and International workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in Versailles, France in September 2005. The 20 revised full papers presented were carefully reviewed and selected from 59 submissions. For EPEW 2005 only 10 papers - of the 32 submitted - were accepted for presentation; they deal with queueing theory, bounding techniques, stochastic model checking, communication schemes analysis for high-speed LAN, QOS analysis in wireless ad-hoc networks and optical networks analysis. The main topics of the 10 papers accepted for WS-FM 2005 - from 27 submissions - include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Choreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology Techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies; comparisons with different related technologies/approaches.
Formal Methods for Open Object-Based Distributed Systems ; Vol. 3535 ; 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15-17, 2005. The eventwasthe seventh meeting ofthis conference series, whichis held roughly every year and a half, with the earlier events held respectively in Paris, Canterbury, Florence, Stanford, Twente, and Paris. The goal of the FMOOD Sseries of conferences is to bring together researchers whose work encompasses three important and related fields: - formal methods; - distributed systems; - object-based technology. Sucha convergenceis representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities, as represented by the conferences FORTE, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the pres- tation of research in the above-mentioned fields, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems.
Formal Methods for Computational Systems Biology ; 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). This series of schools addresses the use of formal methods in computer science asaprominent approach to theri gorousdesign of computer, communication, and software systems. The main aim of the SFM series is to ofer a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the feld.
Electronic Government ; Vol. 4084 ; 5th International Conference, EGOV 2006, Krakow, Poland, September 4-8, 2006, Proceedings
Constitutes the refereed proceedings of the 5th International Conference on Electronic Government, EGOV 2006, held in Krakow, Poland. This book contains papers that are arranged in topical sections on research, review and outlook, participation and democracy, designing government services, legal dimensions in e-government, and more.
Electronic Government ; Vol. 3591 ; 4th International Conference, EGOV 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Electronic Government, EGOV 2005, held in Copenhagen, Denmark in August 2005. The 30 revised papers presented were carefully reviewed and selected from numerous submissions and assess the state of the art in e-government/e-governance and provide guidance for research, development and application of this emerging field. The papers are arranged in topical sections on challenges, performance, strategy, knowledge, and technology.
Electronic Government ; 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007, Proceedings
The volume includes information and technology to support and improve public policies and government operations, engage citizens, and provide comprehensive and timely government services”.
Developing secure auto-scaling military postponement e-service in Syria
This study is about developing a secure, autoscaling military postponement e-service in Syria, that allows Syrian citizens to conveniently access services provided by the Syrian Recruitment Department conveniently through their smartphones. Currently, many Syrian citizens need to use the services offered by the Recruitment Department, resulting in overcrowding in a single location for similar purposes. This situation places a significant burden on both citizens and the government. The mobile application will facilitate various services such as enlistment and postponing military service by employing a well-designed software architecture that ensures scalability and efficient distribution of these services.
Detection of intrusions and malware, and vulnerability assessment ; 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24–26, 2020, Proceedings
This book constitutes the proceedings of the 17th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2020, held in Lisbon, Portugal, in June 2020.* The 13 full papers presented in this volume were carefully reviewed and selected from 45 submissions. The contributions were organized in topical sections named: vulnerability discovery and analysis; attacks; web security; and detection and containment.
Databases, Information Systems, and Peer-to-Peer Computing ; International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2006, Revised Selected Papers
The P2P paradigm lends itself to constructing large-scale, complex, adaptive, autonomous and heterogeneous database and information systems, endowed with clearly specified and difierential capabilities to negotiate, bargain, coordinate and self-organize the information exchanges in large-scale networks. This vision will have a radical impact on the structure of complex organizations (business, sci- tific or otherwise) and on the emergence and the formation of social communities, and on how the information is organized and processed. The P2P information paradigm naturally encompasses static and wireless connectivity and static and mobile architectures. Wireless connectivity combined with the increasingly small and powerful mobile devices and sensors poses new challenges as well as opp- tunities to the database community. Information becomes ubiquitous, highly distributed and accessible anywhere and at any time over highly dynamic, - stable networks with very severe constraints on the information management and processing capabilities.
Coordination models and languages ; 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway, in June 2008, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2008.
Logic Programming and Nonmonotonic Reasoning ; 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings
Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones held in Washington, DC, USA (1991), Lisbon, Portugal (1993), Lexington, KY, USA(1995), Dagstuhl, Germany(1997), ElPaso, TX, USA(1999), Vienna, A- tria (2001) and Ft. Lauderdale, FL, USA (2004), the eighth conference was held in Diamante, Italy, from 5th to 8th of September 2005. TheaimoftheLPNMRconferencesistobringtogetherandfacilitateinter- tions between active researchers interested in all aspects concerning declarative logic programming, nonmonotonic reasoning, knowledge representation, and the design of logic-based systems and database systems. LPNMR strives to enc- pass theoretical and experimental studies that lead to the implementation of practi...
Agents and peer-to-peer computing ; Vol. 3601 ; 3rd international workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, revised and invited papers
This volume presents the fully revised papers presented at the Third International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2004, held in New York City on July 19, 2004 in the context of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004). The volume is organized in topical sections on P2P networks and search performance, emergent communities and social behaviours, semantic integration, mobile P2P systems, adaptive systems, agent-based resource discovery, as well as trust and reputation.
Agents and peer-to-peer computing ; 5th International workshop, AP2PC 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2006, held in Hakodate, Japan, in May 2006, in the context of the 5th International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2006.
Agents and peer-to-peer computing ; 2nd International workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003, revised and invited papers
This book brings together an introduction, three invited articles, and revised versions of the papers presented at the Second International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2003, held in Melbourne, Australia, July 2003."" "Peer-to-peer (P2P) computing is currently attracting enormous public attention, a very large number of autonomous computing nodes, the peers, rely on each other for services. P2P networks are emerging as a new distributed computing paradigm because of their potential to harness the computing power and the storage capacity of the hosts composing the network, and because they realize a completely open decentralized environment where everybody can join in autonomously.
