Electronic Books

Total Books: 461 - 480 /599

Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

SDL 2001: Meeting UML

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...

SDL 2005: Model Driven

This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...

SDL 2007: Design for Dependable Systems

Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...

STACS 2006

This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...

STACS 2007 ; 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

The Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference ...

Scalable Uncertainty Management : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings

The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...

Scenarios: Models, Transformations and Tools

Visual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases ...

Secure Data Science : Integrating Cyber Security and Data Science / Bhavani Thuraisingham, Murat Kantarcioglu, Latifur Khan

Data science techniques being applied not only for cyber security but also for every application area—including healthcare, ...

Security Management, Integrity, and Internal Control in Information Systems

Features proceedings from the IFIP TC-11 WG 11.1 and WG 11.5 Joint Working Conference on Security Management, Integrity, ...

Semantic Management of Middleware

Current middleware solutions, such as application servers and Web services, are very complex software products that are hard ...

Semantic Service Provisioning

This book introduces advanced concepts in service provisioning and service engineering, including semantic concepts, dynamic ...

Semantic Systems. In the Era of Knowledge Graphs 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7–10, 2020, Proceedings

This book constitutes the refereed proceedings of the 17th International Conference on Semantic Systems, SEMANTiCS 2020, ...

Semantic Systems. The Power of AI and Knowledge Graphs

This book cover topics such as: web semantics and linked (open) data; machine learning and deep learning techniques; semantic ...

Semantic Web : Revolutionizing Knowledge Discovery in the Life Sciences

This book seeks to offer students, researchers, and professionals a glimpse of the technology, its capabilities and the reach ...

Semantic Web Services

Semantic Web services combine Web services communication technology with the intelligent processing of ontology-based metadata ...

Semantic Web Services and Web Process Composition

The workshop presented what can be achieved by the symbiotic s- thesis of two of the hottest R&D and technology application ...

Semantic Web Services, Processes and Applications

Semantic Web Services, Processes and Applications brings contributions from researchers who study, explore and understand ...

Semantic Web and Databases

Among the topics addressed are data semantics, semantic Web services, service-oriented computing, workflow composition, XML ...

Semantic Web and Peer-to-Peer

Staab and Stuckenschmidt structured the selected contributions into four parts: Part I, "Data Storage and Access", prepares ...

Total Books: 461 - 480 /599