1.

Record Nr.

UNISA996466242803316

Titolo

Service-Oriented Computing [[electronic resource] ] : 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings / / edited by Quan Z. Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016

ISBN

3-319-46295-4

Edizione

[1st ed. 2016.]

Descrizione fisica

1 online resource (XXII, 849 p. 259 illus.)

Collana

Programming and Software Engineering ; ; 9936

Disciplina

004.654

Soggetti

Software engineering

Application software

Management information systems

Computer science

Information technology

Business—Data processing

Computer communication systems

Information storage and retrieval

Software Engineering

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems

IT in Business

Computer Communication Networks

Information Storage and Retrieval

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Business Process Management -- Business Process Modeling -- Cloud and Internet of Services/Things -- Service Analytics -- Service Economy -- Service Management -- Service Recommandation -- Service UIs, APIs and Mashup -- Service/Process Foundation -- Social Services -- Business Process Modeling -- Service Design -- Service in Organization.



Sommario/riassunto

This book constitutes the proceedings of the 14th International Conference on Service-Oriented Computing, ICSOC 2016, held in Banff, AB, Canada, in October 2016. The 30 full papers presented together with 18 short papers and 8 industrial papers in this volume were carefully reviewed and selected from 137 submissions. The selected papers covered important topics in the area of service-oriented computing, including foundational issues on service discovery and service-systems design, business process modelling and management, economics of service-systems engineering, as well as services on the cloud, social networks, the Internet of Things (IoT), and data analytics.

2.

Record Nr.

UNISA996465715303316

Titolo

AI Approaches to the Complexity of Legal Systems [[electronic resource] ] : International Workshops AICOL-I/IVR-XXIV, Beijing, China, September 19, 2009 and  AICOL-II/JURIX 2009, Rotterdam, The Netherlands, December 16, 2009 Revised Selected Papers / / edited by Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor, Gianmaria Ajani

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010

ISBN

1-280-39000-X

9786613567925

3-642-16524-9

Edizione

[1st ed. 2010.]

Descrizione fisica

1 online resource (X, 243 p. 62 illus.)

Collana

Lecture Notes in Artificial Intelligence ; ; 6237

Disciplina

340.1

Soggetti

Law—Philosophy

Law

Artificial intelligence

Application software

Data mining

Computer communication systems

Computers and civilization

Theories of Law, Philosophy of Law, Legal History

Artificial Intelligence

Information Systems Applications (incl. Internet)

Data Mining and Knowledge Discovery

Computer Communication Networks

Computers and Society



Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

AI Approaches to the Complexity of Legal Systems -- Introduction: Complex Systems and Six Challenges for the Development of Law and the Semantic Web -- I Language and Complex Systems in Law -- As Law Goes By: Topology, Ontology, Evolution -- Sailing the Semantic Seas by Structural Vessels: Problems and Perspectives for the Identification of Implicit Knowledge in the Legal Domain -- Network Analysis of the French Environmental Code -- Model Regularity of Legal Language in Active Modifications -- II Ontologies and the Representation of Legal Knowledge -- Traceability and Change in Legal Requirements Engineering -- When a FrameNet-Style Knowledge Description Meets an Ontological Characterization of Fundamental Legal Concepts -- Application of an Ontology-Based Model to a Selected Fraudulent Disbursement Economic Crime -- Multi-layer Markup and Ontological Structures in Akoma Ntoso -- III Argumentation and Logics -- Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic -- Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation -- IV Dialogue and Legal Multimedia -- Legal Electronic Institutions and ONTOMEDIA: Dialogue, Inventio, and Relational Justice Scenarios -- Mediation, ODR, and the Web 2.0: A Case for Relational Justice -- Legal “Neutral Dialogue”, Implementing the Work of Bruce Ackerman in the Field of Law -- Legal Multimedia Management through JPEG2000 Framework.