STACS 2006
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...
Lire la suite
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 ...
Lire la suite
Scalable Hardware Verification with Symbolic Simulation
Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...
Lire la suiteSecure Mobile Ad-hoc Networks and Sensors
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Secure Mobile Ad-hoc ...
Lire la suite
Semantic Web Services, Processes and Applications
Semantic Web Services, Processes and Applications brings contributions from researchers who study, explore and understand ...
Lire la suite
Service Chain Management
Service chain management enables service organisations to improve customer satisfaction and reduce operational costs through ...
Lire la suiteSmart Buildings Digitalization : Case Studies on Data Centers and Automation / O.V. Gnana Swathika, K. Karthikeyan, Sanjeevikumar Padmanaban
Explains the concept of data centers, including data collection, public parking systems, smart metering, and sanitizer dispensers. ...
Lire la suiteSmart Buildings Digitalization : IoT and Energy Efficient Smart Buildings Architecture and Applications / O.V. Gnana Swathika, K. Karthikeyan, Sanjeevikumar Padmanaban
Discusses various artificial intelligence and machine learning applications concerning smart buildings. It includes how renewable ...
Lire la suiteSmart home control system using FPGA محمد باسل محمد اسعد الحلبي ؛ سعيد مخلوف ؛ صالح الرفاعي ؛ هناء الاعور ؛ ديما سراي الدين ؛ إشراف د. طارق برهوم
In recent years, Home Automation has seen a rapid introduction of network enabled digital technologies. These technologies ...
Lire la suite
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing / Roger Lee, Jong Bae Kim
Presents scientific results of the 21st ACIS International Winter Conference on Software Engineering, Artificial Intelligence, ...
Lire la suite
Software Networks: Virtualization, SDN, 5G, and Security, 2nd Edition / Guy Pujolle
Describes how to create and delete virtual networks on the fly. Indeed, the system is able to create any new network with ...
Lire la suite
Software Product Line Engineering
Software Product Line Engineering Are you interested in producing software products or software-intensive systems at lower ...
Lire la suite
Software Quality — ECSQ 2002
We have selected two themes for this conference . Our ?rst theme, “production of attractive and reliable software at Internet ...
Lire la suite
Spatial Representation and Reasoning for Robot Mapping : A Shape-Based Approach
This book addresses spatial representations and reasoning techniques for mobile robot mapping, providing an analysis of fundamental ...
Lire la suite
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lire la suite
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suite
Stigmergic Optimization
This book deals with the application of stigmergy for a variety of optimization problems. This volume comprises 12 chapters ...
Lire la suite
Stochastic Algorithms: Foundations and Applications
This book constitutes the refereed proceedings of the 4th International Symposium on Stochastic Algorithms: Foundations and ...
Lire la suite
Stochastic Discrete Event Systems : Modeling, Evaluation, Applications
The behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
Lire la suite
String Processing and Information Retrieval
Coverage in the 27 revised full papers includes dictionary algorithms, text searching, pattern matching, text compression, ...
Lire la suite
