الصفحة 3
الصفحة 3
Formal Methods and Software Engineering; 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The papers address all current issues in formal methods and their applications in software engineering.
Formal Methods and Software Engineering ; Vol. 3785 ; 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 November 2005, Manchester, UK. Formal engineering methods are changing the way that systems are dev- oped. With language and tool support, these methods are being used for se- automatic code generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, anddocumentation. The aim of ICFEM 2005 was to bring together those interested in the - plication of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, were encouraged to - tend, and to help advance the state of the art. The conference was supported by sponsorships from Microsoft Research, USA, the Software Engineers Association of Japan, the University of Man- ester, Manchester City Council, FormalMethods Europe (FME) and the British Computer Society FormalAspects ofComputing Specialist Group(BCS-FACS). We wish to thank these sponsors for their generosity. The ?nal programme consisted of 3 invited talks and 30 technical papers selected from a total of 74 submissions. The invited speakers were: Anthony Hall, independent consultant, UK; Egon B] orger, University of Pisa, Italy; John Rushby, SRI, USA. Their talks were sponsored by BCS-FACS, Microsoft - search and FME respectively. We wish to thank the invited speakers for their inspiring talks.
Forging New Frontiers : Fuzzy Pioneers I
The 2005 BISC International Special Event-BISCSE’05 " FORGING THE FRONTIERS" was held in the University of California, Berkeley, “WHERE FUZZY LOGIC BEGAN, from November 3 – 6, 2005. The successful applications of fuzzy logic and it’s rapid growth suggest that the impact of fuzzy logic will be felt increasingly in coming years. Fuzzy logic is likely to play an especially important role in science and engineering, but eventually its influence may extend much farther. In many ways, fuzzy logic represents a significant paradigm shift in the aims of computing - a shift which reflects the fact that the human mind, unlike present day computers, possesses a remarkable ability to store and process information which is pervasively imprecise, uncertain and lacking in categoricity.
Evolution of the Web in Artificial Intelligence Environments
The material in this book is designed to be drawn from different Web application areas so as to provide an overview of important contributions in the development of the Web applications. These are mainly in the areas of Web personalisation, semantic Web and Web services.
Essential Software Architecture
Job titles like "Technical Architect" and "Chief Architect" nowadays abound in the software industry, yet many people suspect that "architecture" is one of the most overused and least understood terms in professional software development. Gorton's book helps resolve this predicament. It concisely describes the essential elements of knowledge and key skills required to be a software architect. The explanations encompass the essentials of architecture thinking, practices, and supporting technologies.
E-Service Intelligence : Methodologies, Technologies and Applications
Business organizations and governments are nowadays developing and providing internet based electronic services (e-services) featuring various intelligent functions. E-Service Intelligence integrates intelligent techniques into e-service systems for realizing intelligent internet information searching, presentation, provision, recommendation, online system design, implementation, and assessment to internet users. This book offers a thorough introduction and systematic overview of the new field and covers the state-of-the-art of the research and development in E-Service Intelligence ranging from e-services and/or intelligent techniques to web information presentation, search, and mining, to personalization, privacy, and trust in e-services, to e-service evaluation, optimization and knowledge discovery, and to intelligent e-service system developments.
Enterprise Knowledge Infrastructures
Success of an organization is increasingly dependent on its capability to create an environment to improve the productivity of knowledge work. This book focuses on the concepts, models and technologies that are used to design and implement such an environment. It develops the vision of a modular, yet highly integrated enterprise knowledge infrastructure and presents an ideal architecture replete with current technologies and systems. The most important streams of technological development that are covered in the book are computer-supported cooperative work, document and content management, e-learning, enterprise portals, information life cycle management, knowledge management, mobile computing, and the Semantic Web. It includes learning goals, exercises and case examples that help the reader to easily understand and practice the concepts.
Enterprise Information Systems VI
This book contains the best papers of the Sixth International Conference on Enterprise Information Systems (ICEIS 2004), held in Porto (Portugal) and organized by INSTICC (Institute for Systems and Technologies of Information, Communication and Control) in collaboration with PORTUCALENSE UNIVERSITY, who hosted the event. Following the route started in 1999, ICEIS has become a major point of contact between research scientists, engineers and practitioners on the area of business applications of information systems. This conference has received an increased interest every year, from especially from the international academic community, and it is now one of the world largest conferences in its area. This year, five simultaneous tracks were held, covering different aspects related to enterprise computing, including: “Databases and Information Systems Integration”,
Engineering Societies in the Agents World VII ; 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers
It cover main themes: Engineering multi-agent systems, Methodologies for analysis, design, development and verification of agent societies, Interaction and coordination in agent societies, Autonomic agent societies, Trust in agent societies For
Engineering Societies in the Agents World VI ; 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers
ESAW 2005 took place at the Pine Bay Hotel in Kusadasi, Turkey at the end of the October 2005. It was organized as a stand-alone event as were ESAW 2004and ESAW 2003.Following the initial ESAW vision,which wasset in 1999, by the members of the working group on “Communication, Coordination and Collaboration” of Agentlink, ESAW 2005 continued to focus on the engineering of complex software systems in terms of multi-agent societies, especially the social and environmental aspects of such societies.
Engineering Knowledge in the Age of the Semantic Web ; 15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 6-10, 2006, Proceedings
The 15th International Conference on Knowledge Engineering and Knowledge Management (2006), held on October 6-10, 2006 in Pod? ebrady,Czech Republic, followed a long tradition of European Knowledge Acquisition Workshops (from 1987),whicheventuallyacquiredtheformatofconference(in2000)whilekeeping their open-minded and interactive spirit. During the nearly 20 year lifespan of the series, the discipline of knowledge engineering (KE) evolved greatly. While knowledge acquisition (KA) techniques dominated in the very ?rst years, formal approaches to knowledge-based inf- ence and variousnew streamssuch as knowledgediscoveryfrom data/textslater cameinto play. During thelate1990sandafterwards,EKAWbecamea founding community for ontology and Semantic Web Research, which was also re?ected in the sub-titles of the 2002 and 2004 editions: “Ontologies and the Semantic Web” and “Engineering Knowledge in the Age of the Semantic Web,” resp- tively.
Enabling Semantic Web Services : The Web Service Modeling Ontology
Service-oriented computing has become one of the predominant factors in current IT research and development. Web services seem to be the middleware solution of the future for highly interoperable distributed software solutions. In parallel, research on the Semantic Web provides the results required to exploit distributed machine-processable data. To combine these two research lines into industrial-strength applications, a number of research projects have been set up by organizations like W3C and the EU. After a brief presentation of the underlying basic technologies and standards of the World Wide Web, the Semantic Web, and Web Services, they detail all the elements of WSMO from basic concepts to possible applications in e-commerce, e-government and e-banking, and they also describe its relation to other approaches like OWL-S or WSDL-S.
Emerging Web Services Technology ; Vol. II
This book contains papers from the 2007 European Conference on Web Services and the Workshop on Emerging Web Services Technology. Coverage includes grid-based computing, mobility issues for web services, dynamic web services, and model driven engineering.
Emerging Web Services Technology ; Vol. I
As Web services technology is becoming widely established in enterprise computing applications, Web services research is a very important and still very productive research domain. This book gives a timely report on the leading edge of this area by covering a wide spectrum of active research topics like Model Driven Engineering for SOA, Mobility and Services, Dynamic Web Service Discovery and Composition, Service Management, and Semantic Web.
Embedded and Ubiquitous Computing - EUC 2005 ; International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings
Welcome to the proceedings of the 2005 IFIP International Conference on - bedded and Ubiquitous Computing (EUC 2005), which was held in Nagasaki, Japan, December 6–9, 2005. Embedded and ubiquitous computing is emerging rapidly as an exciting new paradigm to provide computing and communication services all the time, - erywhere. Its systems are now pervading every aspect of life to the point that they are hidden inside various appliances or can be worn unobtrusively as part of clothing and jewelry. This emergence is a natural outcome of research and technological advances in embedded systems, pervasive computing and c- munications, wireless networks, mobile computing, distributed computing and agent technologies, etc. Its tremendous impact on academics, industry, gove- ment, and daily life can be compared to that of electric motors over the past century, in fact it but promises to revolutionize life much more profoundly than elevators, electric motors or even personal computers. The EUC 2005 conference provided a forum for engineers and scientists in academia, industry, and government to address profound issues including te- nical challenges, safety, and social, legal, political, and economic issues, and to present and discuss their ideas, results, work in progress, and experience on all aspects of embedded and ubiquitous computing.
E-Government : Towards electronic democracy ; International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005, Proceedings
The TCGOV 2005 international conference on e-government was held at the Free University of Bozen-Bolzano during March 2–4, 2005. The conference was initiated by the working group “Towards Electronic Democracy” (TED) of the European Science Foundation and was jointly organized by the Free University ofBozen-Bolzano,theMunicipalityofBozen-Bolzano,theTEDWorkingGroup, and the IFIP Working Group 8.5. The conference addressed a large spectrum of issues that are relevant and have to be investigated for a successful transition from the traditional form of government to a new form known as e-government. The main focus was on the following topics: – improving citizen participation and policy making (e-democracy) – government application integration – semantic Web technologies for e-government – security aspects for e-government services Two sessions were dedicated to e-democracy, an emerging area within- government that seeks to enhance democratic processes and provide increased opportunities for individuals and communities to be involved in governmental decisions.
E-Commerce and Web Technologies ; 8th International Conference, EC-Web 2007, Regensburg, Germany, September 3-7, 2007, Proceedings
This book contains sections on recommender systems, business process / design aspects, mobile commerce, security and e-payment, Web services computing / semantic Web, e-negotiation and agent mediated systems, and issues in Web advertising.
Distributed computing and Internet Technology ; 1st International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004, Proceedings
Taming the Dynamics of Disributed Data - DISTRIBUTED COMPUTING -- Data in Your Space -- Enabling Technologies for Harnessing Information Explosion -- Fair Leader Election by Randomized Voting -- An Efficient Leader Election Algorithm for Mobile Ad Hoc Networks -- Distributed Balanced Tables: A New Approach - Performance Evaluation of Gigabit Ethernet and SCI in a Linux Cluster -- Performance Evaluation of a Modified-Cyclic-Banyan Based ATM / IP Switching Fabric -- A Scalable and Robust QoS Architecture for WiFi P2P Networks -- NEC: Node Energy Based Clustering Protocol for Wireless Sensor Networks with Guaranteed Connectivity,and other
Distributed Applications and Interoperable Systems ; Vol. 4025 ; 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006
This volume contains the proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems VI held in Bologna, Italy, on June 14-16, 2006. The conference program presents the state of the art in research on d- tributed and interoperable systems. In recent years, distributed applications have indeed gained a practical and widely-known footing in everyday computing.
Distributed applications and interoperable systems ; Vol. 3543 ; 5th IFIP WG 6.1 International conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
ThisvolumecontainstheproceedingsoftheIFIPWG6. 1InternationalWorking Conference on Distributed Applications and Interoperable Systems V held in Athens, Greece, on June 15–17, 2005. The conference program presented the state of the art in research concerning distributed and interoperable systems. The emergence of 4th-generation c- munication systems, the evolution of Internet technologies, the convergence of telecom and datacom, wireless and ?xed communication systems and appli- tions pave the path for ubiquitous service and application provision. Innovative solutions are required for the development, implementation and operation of distributed applications in complex IT environments full of diversity and h- erogeneity. Today, the emerging wide spectrum of distributed systems.
