Computer Software

UML Associations: A Structural and Contextual View

Computer Software / Object Technology / Object Oriented

Nonsequential Automata Semantics for a Concurrent, Object-Based Language

Cognitive Science / Computer Software / Boolean Satisfiability

Sensitivity Analysis of Server Virtualized System Availability

Computer Software / Electrical And Electronic Engineering

AutoBrief: a multimedia presentation system for assisting data analysis

Data Analysis / Graphic Design / Information Graphics / Information seeking / Computer Software / Natural language / Reference model / Domain Specificity / Large Data Sets / Information Seeking / Data Format / Natural language / Reference model / Domain Specificity / Large Data Sets / Information Seeking / Data Format

The Aurora or-parallel Prolog system

Cognitive Science / Computer Science / Memory Management / Parallel Processing / Computer Software / Automatic Parallelization / New Generation / Data Processing / Parallel Computer / Large Scale / Task Scheduling / Programming language / Automatic Parallelization / New Generation / Data Processing / Parallel Computer / Large Scale / Task Scheduling / Programming language

The Aurora or-parallel Prolog system

Cognitive Science / Computer Science / Memory Management / Parallel Processing / Computer Software / Automatic Parallelization / New Generation / Data Processing / Parallel Computer / Large Scale / Task Scheduling / Programming language / Automatic Parallelization / New Generation / Data Processing / Parallel Computer / Large Scale / Task Scheduling / Programming language

Dense Linear System: A Parallel Self-verified Solver

Distributed Computing / Parallel Programming / Computer Software / Parallel / Linear System / Parallel Computer

Planning a revenue stream system in an e-business environment

Information Systems / Planning / Computer Software / Revenue / System Development / Integrated Approach / Business environment / Critical Success Factor / Internet / Accounts Receivable / Integrated Approach / Business environment / Critical Success Factor / Internet / Accounts Receivable

Prototyping A&A ReSpecT in Maude

Cognitive Science / Rewriting Logic / Modeling Language / Computer Software / Meta-model / Operational Semantics / Programming language / Operational Semantics / Programming language

Formal ReSpecT

Cognitive Science / Social Behaviour / Multi Agent System / Computer Software / Operational Semantics / Heterogeneous Agents / Agent Communication / Heterogeneous Agents / Agent Communication

A Process Calculus for Mobile Ad Hoc Networks

Mobile Ad Hoc Network / Computer Software / Operational Semantics / Environmental Science and Computer Programming / Routing Protocol / Formal Model / Process Calculi / Transition Systems / Formal Model / Process Calculi / Transition Systems

Data Center TCP (DCTCP)

Distributed Computing / Computer Networks / Computer Software / Data Center / Tcp / Low Latency / Data Center Network / computer Communication / CCR / Low Latency / Data Center Network / computer Communication / CCR

Structural testing criteria for message-passing parallel programs

Distributed Computing / Computer Software / Message Passing / Structural Testing

Optimal Design of Dependable Control System Architectures Using Temporal Sequences of Failures

Intelligent Transport System / Control Systems / System Design / Control system / Optimization Problem / Computer Software / Design method / System Architecture / Design Methodology / Fault Tree Analysis / Optimal Design / Dependable Systems / Electrical And Electronic Engineering / Component Architecture / Functional Decomposition / Computer Software / Design method / System Architecture / Design Methodology / Fault Tree Analysis / Optimal Design / Dependable Systems / Electrical And Electronic Engineering / Component Architecture / Functional Decomposition

Real-Time Maude 2.1

Cognitive Science / Model Checking / Formal Analysis / Rewriting Logic / Computer Software / Real Time Systems / Real Time / Object Oriented / Simulation Model / Hybrid System / Real Time Systems / Real Time / Object Oriented / Simulation Model / Hybrid System
Copyright © 2017 DADOSPDF Inc.