You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book presents the work of researchers in the Esprit Fully Integrated Data Environments (FIDE) projects which had the goal of substantially improving the quality of complex application systems while massively reducing the cost of building and maintaining them. It reports on the design and development of new integrated environments to support the construction and operation of persistent application systems, and on the principles employed to design, test, and implement such systems.
This book constitutes the refereed proceedings of the 11th International Conference on Advanced Information Systems Engineering, CAiSE'99 held in Heidelberg, Germany in June 1999. The 27 revised full papers presented together with 12 short research papers and two invited contributions were carefully selected from a total of 168 submissions. The papers are organized in topical sections on components, information systems management, method engineering, data warehouses, process modeling, CORBA and distributed information systems, workflow systems, heterogeneous databases, and information systems dynamics.
This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003. The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing.
This book adds a critical perspective to the legal dialogue on the regulation of ‘smart urban mobility’. Mobility is one of the most visible sub-domains of the ‘smart city’, which has become shorthand for technological advances that influence how cities are structured, public services are fashioned, and citizens coexist. In the urban context, mobility has come under pressure due to a variety of different forces, such as the implementation of new business models (e.g. car and bicycle sharing), the proliferation of alternative methods of transportation (e.g. electric scooters), the emergence of new market players and stakeholders (e.g. internet and information technology companies), an...
This research-oriented book presents key contributions on architecting the digital transformation. It includes the following main sections covering 20 chapters: · Digital Transformation · Digital Business · Digital Architecture · Decision Support · Digital Applications Focusing on digital architectures for smart digital products and services, it is a valuable resource for researchers, doctoral students, postgraduates, graduates, undergraduates, academics and practitioners interested in digital transformation.
This book constitutes the refereed post-proceedings of the Third European Workshop on Software Architecture, EWSA 2006, held in France in September 2006. The 13 revised full research papers and five revised position papers presented together with one invited talk were carefully reviewed and selected. All current aspects of software architectures are addressed ranging from foundational and methodological issues to application issues of practical relevance.
This book constitutes the refereed proceedings of the Third European Conference on Research and Advanced Technology for Digital Libaries, ECDL'99, held in Paris, France in September 1999. The 26 revised full papers presented were carefully reviewed and selected from a total of 124 submissions. The book is divided in topical sections on image categorization and access, audio and video in digital libraries, information retrieval, user adaptation, knowledge sharing, cross language issues, case studies, and modelling, accessability and connectedness.
Annotation. This book constitutes the refereed proceedings of the International Workshops on Service-Oriented Computing, ICSOC/ServiceWave 2009, held in Stockholm, Sweden, in November 2009. The book includes papers of workshops on trends in enterprise architecture research (TEAR 2009), SOA, globalization, people, and work (SG-PAW), service oriented computing in logistics (SOC-LOG), non-functional properties and service level agreements management in service oriented computing (NFPSLAM-SOC 09), service monitoring, adaptation and beyond (MONA+), engineering service-oriented applications (WESOA09), and user-generated services (UGS2009). The papers are organized in topical sections on business models and architecture; service quality and service level agreements track; and service engineering track.
This book includes revised selected papers from five International Workshops on Artificial Intelligence Approaches to the Complexity of Legal Systems, AICOL VI to AICOL X, held during 2015-2017: AICOL VI in Braga, Portugal, in December 2015 as part of JURIX 2015; AICOL VII at EKAW 2016 in Bologna, Italy, in November 2016; AICOL VIII in Sophia Antipolis, France, in December 2016; AICOL IX at ICAIL 2017 in London, UK, in June 2017; and AICOL X as part of JURIX 2017 in Luxembourg, in December 2017. The 37 revised full papers included in this volume were carefully reviewed and selected form 69 submissions. They represent a comprehensive picture of the state of the art in legal informatics. The papers are organized in six main sections: legal philosophy, conceptual analysis, and epistemic approaches; rules and norms analysis and representation;legal vocabularies and natural language processing; legal ontologies and semantic annotation; legal argumentation; and courts, adjudication and dispute resolution.