Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Digital computer simulation --- Real-time data processing --- Congresses. --- Congresses --- Digital computer simulation - Congresses. --- Real-time data processing - Congresses. --- Simulation par ordinateur --- Real-time data processing. --- Temps réel (informatique) --- Simulation, Méthodes de --- Systèmes, Théorie des --- Simulation, Méthodes de --- Systèmes, Théorie des --- Temps réel (informatique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Database systems of the next generation are likely to be inherently very complex due to the diversity of requirements placed on them. Incorporating active, real time, and temporal virtues in one database system is an arduous effort but is also a commend able one. This book presents the proceedings of the Second International Workshop on Active, Real Time, and Temporal Database Systems (ARTDB 97), held in Como, Milan, in September 1997. The aim of the workshop was to bring researchers together from the active and real time research communities, and to examine the current state of the art in active, real time, and temporal database systems. This book offers a collection of papers presented at the ARTDB 97 workshop. The papers, many of them representing proficient and tenable results, illuminate the feasibility of building database system supporting reactive behavior, while enforcing timeliness and predictability. The book contains nine papers carefully reviewed and accepted by the program committee, three invited papers written by prominent researchers in the field, and two summaries of the panel discussions held at the workshop. The program committee received seventeen submissions, where each submission was reviewed by at least three program committee members. The two panel sessions focused on predictability issues and on practical experience of active, real time, and temporal database systems. The ARTDB 97 workshop was held in cooperation with the IEEE Technical Committees on Real Time Systems and Complexity in Computing, and the ACM Special Interest Group on Manipulation of Data.

Real-time data processing --- Database management --- Congresses --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Special purpose computers. --- Database management. --- Computer Science. --- Database Management. --- Special Purpose and Application-Based Systems. --- Software engineering. --- Computer software engineering --- Engineering --- 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 --- Electronic data processing --- Special purpose computers --- Computers --- Real-time data processing - Congresses --- Database management - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997. The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also included are full versions or abstracts of 7 invited papers or tutorials. Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods for the rigorous and systematic design and analysis of hybrid systems and real-time systems.

Hybrid computers --- Real-time data processing --- Calculateurs hybrides --- Temps réel --- Congresses --- Congrès --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Temps réel --- Congrès --- Engineering. --- Microprocessors. --- Special purpose computers. --- Software engineering. --- Computers. --- Control engineering. --- Robotics. --- Mechatronics. --- Control. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Processor Architectures. --- Software Engineering. --- Control, Robotics, Mechatronics. --- Information theory. --- Computer science. --- Control and Systems Theory. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Computer software engineering --- Engineering --- Minicomputers --- Special purpose computers --- Computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Automation --- Programmable controllers --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Informatique --- Computer science --- Hybrid computers - Congresses. --- Real-time data processing - Congresses. --- Computer softwares --- Programming languages --- Automatic control. --- Computers, Special purpose.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Formal methods (Computer science) --- Real-time data processing --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Special purpose computers. --- Software engineering. --- Computers. --- Computer logic. --- Computer engineering. --- Computer Science. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Computer Engineering. --- Logics and Meanings of Programs. --- Software Engineering. --- Special Purpose and Application-Based Systems. --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Special purpose computers --- Computers --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Design and construction --- Informatics --- Science --- Formal methods (Computer science) - Congresses --- Real-time data processing - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997. The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.

Real-time data processing --- Parallel processing (Electronic computers) --- Electronic data processing --- Temps réel --- Parallélisme (Informatique) --- Traitement réparti --- Congresses --- Distributed processing --- Congrès --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Temps réel --- Parallélisme (Informatique) --- Traitement réparti --- Congrès --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Software engineering. --- Computer programming. --- Computers. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Programming Techniques. --- Software Engineering. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Information theory. --- Informatics --- Science --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- 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 --- Network computers --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- Special purpose computers --- Programming --- Real-time data processing - Congresses. --- Parallel processing (Electronic computers) - Congresses. --- Electronic data processing - Distributed processing - Congresses.