Вы здесь

Главная

система

Связанные издания:

A Full-Text Retrieval System with a Dynamic Abstract Generation Function
A Functional Rephrasing of the Assumption/Commitment Specification Style
A Functional System with Transfinitely Defined Types
A Fuzzy Petri Net Tool for Modeling and Verification of Knowledge-Based Systems
A General Algebraic Framework for Studying Modular Systems
A General Approach for the Specification of Real-Time Systems with SDL
A General Framework for Modular Implementations of Modular System Specifications
A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems
A General Method to Define Quorums
A General Resource Framework for Real-Time Systems
A Generic Algebra for Data Collections Based on Constructive Logic
A Generic Approach for Computer-Assistance of Complex Decision Processes
A Generic Component Framework for System Modeling
A Generic Data Model for the Support of Multiple User Interaction Facilities
A Generic Information Retrieval System to Support Interoperability
A Genetic Logic Environment
Agent-Based Hybrid Intelligent Systems
Agent-Based Knowledge Acquisition
Agent Based Modelling of Urban Systems Revised Selected and Invited Papers/1st International Workshop, ABMUS 2016 Held in Conjunction with AAMAS, Singapore, May 2016
Agent Computing and Multi-Agent Systems: Proc./9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006. Guilin, China, August 2006
Agent Development and Control System
Agent Language NUML and Its Reduction Implementation Model Based on HO
A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications
Agents and Computational Anatomy
Agents and Peer-to-Peer Computing: Revised and Invited Papers/Second International Workhshop, AP2PC 2003. Melbourne, Australia, July 2003
Agents and Peer-to-Peer Computing: Revised and Invited Papers/Third International Workshop, AP2PC 2004. New York, NY, USA, July 2004
Agents: Towards a Society in which Humans and Computers Cohabitate
Agent Systems, Mobile Agents, and Applications: Proc./Second Intern. Symp. on Agent Systems and Applications and Fourth Intern. Symp. on Mobile Agents, ASA/MA 2000, Zurich, Switzerland, September 2000
Agent UML: A Formalism for Specifying Multiagent Software Systems
Agg - An Implementation of Algebraic Graph Rewriting
Aggregation in a Behavior Oriented Object Model
A Giotto-Based Helicopter Control System
A Goal Oriented Office Form System
A Grafical Interval Logic Toolset for Verifying Concurrent Systems
A Graph-Based Approach to Action Scheduling in a Parallel Database System
A Graphical Interval Logic for Specifying Concurrent Systems
A Graphical Notation Editing System (AGNES). Support for Database Modeling Using the Extended E-R Model
A Graphical Tool for the Visualization and Animation of Communicating Sequential Process
A Graphic Distributed Monitoring System for Unix-Based Architectures
A Group-Based Time-Stamping Scheme for the Preservation of Group Intentions
A Guided Method for Testing Timed Input Output Automata
A Hardware Architecture Design Methodology for Hidden Markov Model Based Recognition Systems Using Parallel Processing
A Hierarchical Approach to Workload Characterization for Parallel Systems
A Hierarchical Framework for Component-Based Real-Time Systems
A Hierarchical Membership Protocol for Synchronous Distributed Systems
A Highly Available Application in the Trains Environment
A High Performance Multi-Structured File System Design
A High-Speed DES Implementation for Network Applications
A Human Factors Based User Interface Design
A Hybrid Approach to Multimedia Database Systems through Integration of Semantics and Media-Based Search