Event-Triggered and Time-Triggered Control Paradigms presents a valuable survey about existing architectures for safety-critical ...
WeiterlesenThe FPGA technology is defined, which includes architecture, logic block structure, interconnect, and configuration methods ...
WeiterlesenThis book constitutes the refereed proceedings of the 23rd British National Conference on Databases, BNCOD 23, held in Belfast, ...
WeiterlesenForm-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt ...
WeiterlesenThe 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...
WeiterlesenThis book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...
WeiterlesenThis book shows its readers how to achieve the goal of genuine IT governance. The key here is the successful development ...
WeiterlesenThis book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...
WeiterlesenThis book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
WeiterlesenThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
WeiterlesenThis book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. ...
WeiterlesenThis book covers a wide spectrum of techniques, algorithms and modeling methodologies that address the challenges in service-oriented ...
WeiterlesenGlobal optimization describe the theory of the algorithms, whereas a given implementation’s quality never depends exclusively ...
WeiterlesenGlobal optimization describe the theory of the algorithms, whereas a given implementation’s quality never depends exclusively ...
WeiterlesenGrid computing has become a topic of significant interest in the scientific community as a means of enabling application ...
WeiterlesenResearchers in the ?eld of life sciences rely increasingly on information te- nology to extract and manage relevant knowledge. ...
WeiterlesenThis volume constitutes the refereed proceedings of the 5th International Workshop on Grid Economics and Business Models, ...
WeiterlesenThis book aims to strengthen and advance scientific and technological excellence in the area of Grid Computing. The main ...
WeiterlesenBig Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, ...
WeiterlesenBig Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, ...
Weiterlesen