
This is the first book entirely dedicated to the problem of memory management in programming language implementation. Its originality stems from the diversity of languages and...
- Category: Computer Science
- Release Date: 1992-09-23 00:00:00
- Tags: Memory, Management, International, Workshop, IWMM, Malo, France, September, 1992, Proceedings, Lecture, Notes, Computer, Science,

Parallel and distributed computing is one of the foremost technologies for shaping future research and development activities in academia and industry. Hyperthreading in Intel processors,...
- Category: Computer Science
- Release Date: 2005-09-28 00:00:00
- Tags: New, Horizons, Parallel, Distributed, Computing, Kluwer, International, Series, Engineering, Computer, Science,

Foundations of Dependable Computing: System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to...
- Category: Computer Science
- Release Date: 1994-09-30 00:00:00
- Tags: Foundations, Dependable, Computing, System, Implementation, Springer, International, Series, Engineering, Computer, Science,

Foundations of Dependable Computing: Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher...
- Category: Computer Science
- Release Date: 1994-09-30 00:00:00
- Tags: Foundations, Dependable, Computing, Paradigms, Dependable, Applications, Springer, International, Series, Engineering, Computer, Science,

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context...
- Category: Computer Science
- Release Date: 1994-10-31 00:00:00
- Tags: Foundations, Dependable, Computing, Models, Frameworks, Dependable, Systems, Springer, International, Series, Engineering, Computer, Science,

The Testability of Distributed Real-Time Systems starts by collecting and analyzing all principal problems, as well as their interrelations that one has to keep in mind wh4en testing a...
- Category: Testing
- Release Date: 1993-08-31 00:00:00
- Tags: Testability, Distributed, Real, Time, Systems, Springer, International, Series, Engineering, Computer, Science,

Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success. Perhaps because ad hoc programming on sequential machines is so...
- Category: Computer Science
- Release Date: 1993-06-30 00:00:00
- Tags: Parallel, Algorithm, Derivation, Program, Transformation, Springer, International, Series, Engineering, Computer, Science,

The two volumes of Foundations of Knowledge Acquisition document the recent progress of basic research in knowledge acquisition sponsored by the Office of Naval Research. This volume is...
- Category: Computer Science
- Release Date: 1993-01-31 00:00:00
- Tags: Foundations, Knowledge, Acquisition, Machine, Learning, International, Series, Engineering, Computer, Science,

- Category: Software Engineering
- Release Date: 2004-04-02 00:00:00
- Tags: Software, Engineering, Practitioner's, Approach, 6th, International, Edition,

This book examines key issues in designing semantics-oriented natural language processing systems. A broad conceptual framework for describing structured meanings of NL-texts is obtained by...
- Category: Natural Language Processing
- Release Date: 2009-12-15 00:00:00
- Tags: Semantics, Oriented, Natural, Language, Processing, Mathematical, Models, Algorithms, IFSR, International, Series, Systems, Science, Engineering,

Describes an algebraic approach to programming that permits the calculation of programs. Introduces the fundamentals of algebra for programming. Presents paradigms and strategies of program...
- Category: Programming
- Release Date: 1997-09-26 00:00:00
- Tags: Algebra, Programming, Prentice, Hall, International, Series, Computer, Science,

This book provides state-of-the-art scientific and engineering research findings and developments in the area of mobile robotics and associated support technologies. It contains peer-reviewed...
- Category: Robotics
- Release Date: 2008-08-29 00:00:00
- Tags: Advances, Mobile, Robotics, Proceedings, Eleventh, International, Conference, Climbing, Walking, Robots, Support, Technologies, Mobile, Machines, Coimbra, Portuga,

- Category: Cryptography
- Release Date: 2009-06-07 00:00:00
- Tags: Coding, Cryptology, Proceedings, International, Workshop, Wuyi, Mountain, Fujian, China, June, 2007, Coding, Theory, Crytology,

This book constitutes the refereed proceedings of the 10th International Conference on Agile Processes in Software Engineering and Extreme Programming, XP 2009, held in Sardinia, Italy, in May...
- Category: Software Engineering
- Release Date: 2009-06-01 00:00:00
- Tags: Agile, Processes, Software, Engineering, Extreme, Programming, 10th, International, Conference, 2009, Pula, Sardinia, Italy, May, 2009, Proceedings, Notes, Business, Information, Processing,

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Forensics in Telecommunications, Information and Multimendia, e-Forensics...
- Category: Computer Forensics
- Release Date: 2009-07-01 00:00:00
- Tags: Forensics, Telecommunications, Information, Multimedia, Second, International, Conference, Forensics, 2009, Adelaide, Australia, January, 2009, Telecommunications, Engineering,

This Handbook contains surveys of state-of-the-art concepts, systems, applications, best practices as well as contemporary research in the intersection between IT and finance. Included are...
- Category: Information Systems
- Release Date: 2008-09-23 00:00:00
- Tags: Handbook, Information, Technology, Finance, International, Handbooks, Information, Systems,

LNA-ESD Co-Design for Fully Integrated CMOS Wireless Receivers fits in the quest for complete CMOS integration of wireless receiver front-ends. With a combined discussion of both RF and ESD...
- Category: Computer Science
- Release Date: 2005-11-07 00:00:00
- Tags: LNA, ESD, Design, Fully, Integrated, CMOS, Wireless, Receivers, Springer, International, Series, Engineering, Computer, Science,

Principles of Concurrent and Distributed Programming provides an introduction to concurrent programming focusing on general principles and not on specific systems. Software today is inherently...
- Category: Computer Science
- Release Date: 2006-03-06 00:00:00
- Tags: Principles, Concurrent, Distributed, Programming, 2nd, Edition, Prentice, Hall, International, Series, Computer, Science,

Provides a detailed introduction to the implementations and official standards of the state of the art audio coding technology. User review Great book This is a well written book. It covers...
- Category: Computer Science
- Release Date: 2002-12-31 00:00:00
- Tags: Introduction, Digital, Audio, Coding, Standards, Springer, International, Series, Engineering, Computer, Science,

Check out the companion website at www.sagepub.co.uk/heeks Implementing and Managing eGovernment fills an important gap. It provides comprehensive coverage of the e-government issues...
- Category: Miscellaneous
- Release Date: 2005-11-23 00:00:00
- Tags: Implementing, Managing, eGovernment, International, Text,

Software engineering is widely recognized as one of the most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry. Thus, training...
- Category: Software Engineering
- Release Date: 2009-02-01 00:00:00
- Tags: Software, Engineering, International, Summer, Schools, ISSSE, 2006, 2008, Salerno, Italy, Revised, Tutorial, Lectures, Lecture, Notes, Computer, Science, Programming, Software, Engineering,

This is the second volume in the series of proceedings from the International Workshop on Life Science Grid. It represents the few, if not the only, dedicated proceedings volumes that gathers...
- Category: Grid Computing
- Release Date: 2006-10-26 00:00:00
- Tags: Grid, Computing, Life, Sciences, Proceedings, 2nd, International, Life, Science, Grid, Workshop, LSGRID, 2005,

JPEG2000: Image Compression Fundamentals, Standards and Practice is an essential reference for professional engineers and academic researchers in the fields of communication, image processing,...
- Category: Miscellaneous
- Release Date: 2008-12-07 00:00:00
- Tags: JPEG2000, Image, Compression, Fundamentals, Standards, Practice, International, Series, Engineering, Computer, Science,

Many real-time systems rely on static scheduling algorithms. This includes cyclic scheduling, rate monotonic scheduling and fixed schedules created by off-line scheduling techniques such as...
- Category: Computer Science
- Release Date: 1998-10-31 00:00:00
- Tags: Deadline, Scheduling, Real, Time, Systems, EDF, Related, Algorithms, Springer, International, Series, Engineering, Computer, Science,

This book covers the field of machine learning, which is the study of algorithms that allow computer programs to automatically improve through experience. The book is intended to support upper...
- Category: Machine Learning
- Release Date: 1997-10-01 00:00:00
- Tags: Machine, Learning, Mcgraw, Hill, International, Edit,

Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations involved in computer-aided design of user interactive applications...
- Category: Miscellaneous
- Release Date: 2005-04-29 00:00:00
- Tags: Computer, Aided, Design, User, Interfaces, Proceedings, Fifth, International, Conference, Computer, Aided, Design, User, Interfaces, CADUI, '2004,

With the explosive growth of data exchange and the availability of access to services over the Web, the Trusted Information requirement is more and more an issue to providers and users of these...
- Category: Miscellaneous
- Release Date: 2001-05-31 00:00:00
- Tags: Trusted, Information, New, Decade, Challenge, International, Federation, Information, Processing, Volume, 193,

Useful as a text as well as a reference, this is one of the first books of its kind to combine basic and advanced topics of radiowave propagation and smart antennas into a single volume. The...
- Category: Computer Science
- Release Date: 2000-11-30 00:00:00
- Tags: Radiowave, Propagation, Smart, Antennas, Wireless, Communications, Kluwer, International, Series, Engineering, Computer, Science, Volume, 599, Series, Engineering, Computer, Science,

The Verilog Programming Language Interface is a powerful feature of the Verilog standard. Through this interface, a Verilog simulator can be customized to perform virtually any engineering task...
- Category: Computer Engineering
- Release Date: 2002-02-28 00:00:00
- Tags: Verilog, PLI, Handbook, User's, Guide, Comprehensive, Reference, Verilog, Programming, Language, Interface, Kluwer, International, Series, Series, Engineering, Computer, Science,

Building the E-Service Society is a state-of-the-art book which deals with innovative trends in communication systems, information processing, and security and trust in electronic commerce,...
- Category: Electronic Commerce
- Release Date: 2004-07-27 00:00:00
- Tags: Building, Service, Society, Commerce, Business, Government, IFIP, International, Federation, Information, Processing,

