Narrow your search

Library

KU Leuven (3)

ULB (3)

ULiège (3)

AP (2)

EhB (2)

KDG (2)

Odisee (2)

Thomas More Kempen (2)

Thomas More Mechelen (2)

UCLL (2)

More...

Resource type

book (5)

digital (2)


Language

English (7)


Year
From To Submit

2016 (1)

2011 (2)

2010 (3)

2002 (1)

Listing 1 - 7 of 7
Sort by

Digital
Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Authors: ---
ISBN: 9783642144585 9783642144578 9783642144592 Year: 2010 Publisher: Berlin, Heidelberg Springer


Book
Web services and formal methods : 6th international workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009 : revised selected papers
Authors: --- ---
ISBN: 3642144578 9786613565938 3642144586 1280388013 Year: 2010 Publisher: Berlin ; Heidelberg : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Web services --- Formal methods (Computer science) --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Computer Science --- Telecommunications --- Computer science. --- Computer communication systems. --- Software engineering. --- Computers. --- Information storage and retrieval. --- Multimedia information systems. --- Computer Science. --- Information Systems and Communication Service. --- Information Systems Applications (incl. Internet). --- Computer Communication Networks. --- Information Storage and Retrieval. --- Software Engineering. --- Multimedia Information Systems. --- Computer-based multimedia information systems --- Multimedia computing --- Multimedia information systems --- Multimedia knowledge systems --- Information storage and retrieval systems --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Informatics --- Science --- Distributed processing --- Information systems. --- Information storage and retrieva. --- Multimedia systems. --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software


Book
Advanced Information Systems Engineering Workshops : CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings
Authors: --- ---
ISBN: 3319395637 3319395645 Year: 2016 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the thoroughly refereed proceedings of five international workshops held in Ljubljana, Slovenia, in conjunction with the 28th International Conference on Advanced Information Systems Engineering, CAiSE 2016, in June 2016. The 16 full and 9 short papers were carefully selected from 51 submissions. The associated workshops were the Third International Workshop on Advances in Services DEsign based on the Notion of CApabiliy (ASDENCA) co-arranged with the First International Workshop on Business Model Dynamics and Information Systems Engineering (BumDISE), the Fourth International Workshop on Cognitive Aspects of Information Systems Engineering (COGNISE), the First International Workshop on Energy-awareness and Big Data Management in Information Systems (EnBIS), the Second International Workshop on Enterprise Modeling (EM), and the Sixth International Workshop on Information Systems Security Engineering (WISSE). .

Keywords

Business. --- Management information systems. --- Software engineering. --- Computer security. --- Application software. --- Business and Management. --- Business Information Systems. --- Information Systems Applications (incl. Internet). --- Software Engineering. --- Enterprise Architecture. --- Systems and Data Security. --- Computer Appl. in Administrative Data Processing. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer privacy --- Computer system security --- Computer systems --- Computers --- Cyber security --- Cybersecurity --- Electronic digital computers --- Security of computer systems --- Computer software engineering --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Trade --- Security measures --- Protection of computer systems --- Protection --- Computer software --- Data protection --- Security systems --- Hacking --- Engineering --- Sociotechnical systems --- Information resources management --- Management --- Economics --- Commerce --- Industrial management --- Communication systems --- Information systems. --- Business information services. --- Data protection. --- Information technology --- Computer and Information Systems Applications. --- Data and Information Security. --- Computer Application in Administrative Data Processing. --- Management. --- Data governance --- Data regulation --- Personal data protection --- Protection, Data --- Electronic data processing --- Business --- Business enterprises --- Information services


Book
Business Process Management Workshops : BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers
Authors: --- ---
ISBN: 9783642205118 9783642205101 Year: 2011 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the thoroughly refereed post-workshop proceedings of nine international workshops held in Hoboken, NJ, USA, in conjunction with the 8th International Conference on Business Process Management, BPM 2010, in September 2010. The nine workshops focused on Reuse in Business Process Management (rBPM 2010), Business Process Management and Sustainability (SusBPM 2010), Business Process Design (BPD 2010), Business Process Intelligence (BPI 2010), Cross-Enterprise Collaboration, People, and Work (CEC-PAW 2010), Process in the Large (IW-PL 2010), Business Process Management and Social Software (BPMS2 2010), Event-Driven Business Process Management (edBPM 2010), and Traceability and Compliance of Semi-Structured Processes (TC4SP 2010). In addition, three papers from the special track on Advances in Business Process Education are also included in this volume. The overall 66 revised full papers presented were carefully reviewed and selected from 143 submissions.


Book
Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Authors: --- ---
ISBN: 9783642144585 9783642144578 9783642144592 Year: 2010 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume contains the papers presented at WS-FM 2009: The 6th Inter- tional Workshop on Web Services and Formal Methods held during September 4-5, 2009 in Bologna, Italy. There were 18 submissions by authors from 12 countries. Each submission was reviewed by at least 3, and on the average 3.9, Program Committee m- bers. The committee decided to accept 10 papers. Most of the selected papers are reports on work in progress on problems related to formal aspects of Web services. This workshop also features three invited talks by Mariangiola Dezani (Sessions and Session Types: An Overview), Robin Milner (Processes, and C- egories of Bigraphs) and Maurizio Lenzerini. Dezani's talk is included in this volume. We thank all authors who submitted papers to this workshop, and the m- bersof the ProgramCommittee for their workin the reviewprocess.We arealso grateful to the CONCUR 2009 organizers who take care of many organizational details for the workshop and, in particular, to Mario Bravetti and Gianluigi - vattaro. We also thank EasyChair that helped us in the management of every step of the workshop.

Advances in Web-Age Information Management : Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002. Proceedings
Authors: --- --- --- ---
ISBN: 3540457038 3540440453 Year: 2002 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the Third International Conference on Web-Age Information Management, WAIM 2002 held in Beijing, China in August 2002. The 40 papers presented together with two system demonstrations were carefully reviewed and selected from 169 submissions. The papers are organized in topical sections on XML; spatio-temporal databases; data mining and learning; XML and web; workflows and e-services; bio informatics, views, and OLAP; clustering and high-dimensional data; web search; optimization and updates; and transactions and multimedia.

Keywords

Database management --- Web databases --- Information technology --- Computer Science --- Engineering & Applied Sciences --- Management --- Popular works. --- Data structures (Computer science). --- Database management. --- Information storage and retrieval. --- Artificial intelligence. --- Computer science. --- Popular Science. --- Popular Computer Science. --- Data Structures, Cryptology and Information Theory. --- Database Management. --- Information Storage and Retrieval. --- Information Systems Applications (incl. Internet). --- Artificial Intelligence (incl. Robotics). --- Data structures (Computer scienc. --- Information storage and retrieva. --- Data Structures and Information Theory. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Informatics --- Science


Digital
Business process management workshops : BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010
Authors: --- ---
ISBN: 9783642205118 9783642205101 Year: 2011 Publisher: Berlin Springer-Verlag

Listing 1 - 7 of 7
Sort by