Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lee mas
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 ...
Lee mas
SDL 2005: Model Driven
This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...
Lee mas
SDL 2007: Design for Dependable Systems
Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
Lee mas
STACS 2006
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Secure Systems Development with UML
Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical ...
Lee mas
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, ...
Lee mas
Semantic Management of Middleware
Current middleware solutions, such as application servers and Web services, are very complex software products that are hard ...
Lee mas
Semantic Multimedia
This book constitutes the refereed proceedings of the First International Conference on Semantics and Digital Media Technologies, ...
Lee mas
Semantic Multimedia
This book constitutes the refereed proceedings of the Second International Conference on Semantics and Digital Media Technologies, ...
Lee mas
Semantic Multimedia : Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings
The book cover topics such as semantic analysis and multimedia, semantic retrieval and multimedia, semantic metadata management ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
Semantic Web Services
Semantic Web services combine Web services communication technology with the intelligent processing of ontology-based metadata ...
Lee mas
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 ...
Lee mas
Semantic Web Services, Processes and Applications
Semantic Web Services, Processes and Applications brings contributions from researchers who study, explore and understand ...
Lee mas
Semantic Web and Databases
Among the topics addressed are data semantics, semantic Web services, service-oriented computing, workflow composition, XML ...
Lee mas
Semantic Web for Effective Healthcare Systems / Vishal Jain, Jyotir Moy Chatterjee, Ankita Bansal, Abha Jain
Summarizes the trends and current research advances in web semantics, delineating the existing tools, techniques, methodologies, ...
Lee mas
