|
| $<$br$>$ multifractal analysis (1) | $GI/G/1$ queue (2) | $GI/G/1$-model (1) |
| $M/G/1$ model (1) | $M/G/1$-model (1) | $μ$CRL. (1) |
| $ν$-stable Lévy motion (1) | $ν$-stable Lévy motions (1) | (concurrent) logic programming (1) |
| (constrained) optimization. (2) | (discriminatory) processor sharing (1) | (geodesic) reconstruction (1) |
| (terminal) coalgebraic (1) | 3-connectivity. (1) | 3D Graphics and Interaction. (1) |
| Abel-Goncharov problem (1) | Abstract Data Types (3) | Abstract domains (1) |
| abstract machine (1) | abstract model theory (1) | Abstraction. (1) |
| ACP (3) | action refinement (1) | active databases (2) |
| active objects (1) | activity (1) | actual waiting time (1) |
| adaptive modelling. (1) | Adjunction (1) | agent-based computational economics (1) |
| air traffic control (1) | algebra (1) | algebraic functions. (1) |
| Algebraic Logic (2) | algebraic semantics. (1) | Algebraic Specification (4) |
| algebraic specifications (2) | algorithm (1) | alternating sequential filter (1) |
| alternating-offers protocol (1) | Alternative Quantification (3) | anaphora resolution (1) |
| animation (2) | animation. (1) | Animators (1) |
| Annihilating random walk (1) | application languages (1) | approximate identity (1) |
| approximation theory (1) | architectural embeddings. (1) | architectures (1) |
| area opening (1) | arithmetic and geometric measures (1) | arithmetic and geometric processes (1) |
| arithmetic mean (1) | arrays (1) | arrow logic (2) |
| artificial neural networks (1) | Association rules (1) | asymptotic expansions (1) |
| asymptotic series for tail probabilities. (1) | asynchronous communication (2) | Asynchronous Transfer Mode (1) |
| ATM and IP networks (1) | automated induction (2) | Automated reasoning (2) |
| Automated Theorem Proving (1) | automatic tool generation. (1) | automaton (3) |
| autonomous objects (1) | autonomy (1) | Available Bit Rate (2) |
| axioimatic completeness (1) | axiomatic completeness (1) | B&oulm (1) |
| Bakery Protocol (1) | bargaining (1) | based-on-bits (1) |
| behaviour (3) | belief change (1) | Benchmarking (2) |
| benchmarking. (1) | best-effort traffic. (1) | best-effort workload (1) |
| bin packing (1) | binary decision diagrams (1) | Binary Decision Diagrams (BDD) (1) |
| bisimulation (1) | bisimulation. (3) | bisimulations. (1) |
| Blocking probabilities (1) | bootstrapping (1) | bounded quantifiers (1) |
| bounded rationality (1) | branch & bound (1) | Branching Bisimulation (2) |
| branching bisimulation. (1) | Branching Time (1) | broadcast (1) |
| buffer content (2) | busy period (1) | busy period. (1) |
| C. (2) | CA (1) | call and burst level. (1) |
| case study. (1) | Categorial Grammar (1) | causality (2) |
| cellular automata (1) | cellular encoding (1) | Certificates (3) |
| Certificates. (4) | chaotic iterations (1) | chordal graph (1) |
| CHR (1) | circulant matrices (1) | circumscription (1) |
| class (3) | classes (1) | Classification (2) |
| Claw-Freeness. (1) | CLP (2) | Clustering (3) |
| Coalescing random walk (1) | coalgebra (3) | coalgebraic specification (1) |
| Coalgebras (1) | coarse coding. (1) | COBOL (1) |
| code generation (1) | code optimization (2) | Coinduction (2) |
| coinduction. (1) | Collaborative (1) | collaborative work. (1) |
| color information (1) | Combinations of logics (1) | combinatorial optimization (2) |
| combinators (1) | combinatory logic (2) | common sense reasoning (2) |
| communication (2) | Communication protocols (2) | Compact Dynamisch Busstation (1) |
| competitive analysis (3) | Compiler Construction (1) | Completeness (1) |
| completion (2) | completion time (1) | complex clusters (1) |
| complex structures (1) | complexity of language recognition (2) | Complexity. (2) |
| component based (2) | component interface (1) | components (2) |
| composition structures (1) | Compositionality (1) | compound Poisson processes (1) |
| compression (1) | compression. (1) | computational fluid dynamics (1) |
| Computational Steering (5) | concept analysis. (1) | conceptual models. (1) |
| Concurrency (3) | Confluence (4) | confluence. (1) |
| congruence (1) | conjunctions and crossed dependencies (1) | Conjunctive Normal Form (1) |
| connected components (1) | connected operator (1) | connectivity (1) |
| connectivity class (1) | connectivity opening (1) | constrained optimization (2) |
| constraint logic programming (3) | Constraint Programming (1) | constraint propagation (1) |
| constraint propagation algorithms. (1) | constraint propagation. (1) | Constraint solving (1) |
| constraints (3) | constructive logic. (1) | consumer electronics (1) |
| contact distribution function (1) | content based image retrieval (1) | content-based retrieval (1) |
| context updating (1) | contingent claim pricing (1) | continuous constraints (1) |
| Continuous martingales (1) | contracted waiting time (1) | contracts (1) |
| control of conveyor belts (1) | control of hybrid systems (1) | convertible bonds (1) |
| coordination languages (6) | coordination models and languages. (1) | Coordination models languages and architectures (1) |
| Cost distributions. (1) | Cost-based query optimization (1) | counting (1) |
| coupled processors (1) | cross-power matrix (1) | cryptographic communication (1) |
| Cryptography (13) | cubic (1) | cut polytope (1) |
| Cylindric Algebra (1) | DAML+OIL (1) | Data Description Language (1) |
| data mining (2) | data mining systems (1) | data model (1) |
| data model. (1) | data-driven and control-driven coordination (1) | database architectures (1) |
| database cluster (1) | Database Performance (1) | database programming language (1) |
| database programming languages (1) | Database techniques (2) | databases (1) |
| deadlock freedom. (1) | debugging (1) | decidability (1) |
| decision trees (1) | declarative languages (2) | declarative programming (3) |
| decomposed storage model (1) | decomposition trees (1) | defaults (1) |
| definability (2) | delay declaration (2) | derivative (1) |
| design theory. (1) | deterministic (1) | diagonal similarity (1) |
| difference equation (1) | differential equation (2) | Digital Signatures (4) |
| Digital Signatures. (1) | Dilation (1) | directed acyclic graphs (2) |
| directed communication graphs (1) | Distributed Computing (4) | distributed control (1) |
| distributed information systems (1) | Distributed network protocols (1) | Distributed Summing Algorithm (1) |
| distributed systems (6) | divided differences (1) | documen-tation generation (1) |
| documentation (1) | documentation generation (1) | domain decomposition. (1) |
| domain equations. (1) | domain splitting (1) | domains (1) |
| DSL design (1) | DSL implementation (1) | dynamic algebra. (1) |
| dynamic interconnection structure (2) | Dynamic Interpretation (1) | dynamic load balancing (1) |
| dynamic logic (6) | dynamic process creation (1) | dynamic semantics (2) |
| dynamical system (1) | ECLiPSe (1) | econophysics (1) |
| efficient resource utilization (1) | eigenvalue problems (1) | elastic traffic (1) |
| Electronic Cash (2) | elementary symmetric polynomials. (1) | empty space function (1) |
| Encryption (1) | energy distribution. (1) | enriched categories (1) |
| enriched category (2) | epistemic action (1) | epistemic actions (1) |
| epistemic logic (2) | Equivalence of Recursive Specifications. (1) | Erosion (1) |
| error analysis (1) | error messages (1) | error reporters (1) |
| error-backpropagation (1) | Euler formula (1) | evolution strategies (1) |
| evolutionary algorithms (6) | evolutionary computation (4) | Evolutionary computing (1) |
| evolutionary design (1) | evolutionary game theory (1) | evolutionary robotics (1) |
| exact asymptotics (1) | Example DSLs (1) | exceptions (1) |
| exchange format (1) | Expansion Theorem (1) | exploiting interdependencies between queries. (1) |
| exploratory data analysis (1) | expressive power (2) | expressiveness (2) |
| Expressiveness of Strong Bisimulation (1) | extensible languages (1) | extreme programming (2) |
| extreme ray of cone. (1) | extremes (1) | facial expressions (1) |
| fairness (2) | fault tolerance (1) | Fault-Tolerance (1) |
| feature detection (2) | feature grammars (1) | feature logic. (1) |
| Fibrations (1) | file format (1) | filtered backprojection formula. (1) |
| filtered statistical experiment (1) | finality (2) | finite automata. (1) |
| finite fields (1) | finite speed measure (1) | finite state machines. (1) |
| finite structures (2) | finite trees (1) | first order logic (1) |
| first-order logic (1) | first-order logic. (1) | fixed points (1) |
| Flexible Type Theory. (1) | flow simulation (2) | flow simulation. (2) |
| flow time (2) | fluid model (1) | Fluid queue (2) |
| forbidden induced subgraph (1) | forbidden minors (1) | formal correctness proofs. (1) |
| formal language (1) | formal power series (2) | formal semantics (2) |
| formal semantics. (2) | formal verification (1) | fractional Brownian motion (1) |
| Frames (1) | fuzzy parsing (1) | game theory (2) |
| games (1) | Gaussian process (1) | general logic programs (1) |
| Generalised Algebra (2) | Generalised Processor Sharing (GPS) (2) | generalization hierarchies. (1) |
| Generalized LR parsing (2) | generalized metric (2) | Generalized Processor Sharing (GPS) (1) |
| Generation of duplicates (1) | Generic programming (1) | Genericity (1) |
| genetic algorithm (1) | genetic algorithms (8) | genetic programming (1) |
| geometric mean (1) | Gestalt rules (1) | global minimum (1) |
| grain (1) | grain criterion (1) | grain filter (1) |
| grain operator (1) | Grammar formalisms (2) | Grammars (1) |
| Granulometry (2) | Graph algorithms (1) | graph clustering (3) |
| graph drawing (1) | graph partitioning (1) | graph visualisation (1) |
| graph visualization (2) | graphical user interface (2) | gravity (1) |
| Gröbner basis (1) | Haar wavelet (1) | Hanisch-style estimator (1) |
| heartbeat variability (1) | heavy tailed distributions (1) | heavy tails (1) |
| heavy traffic (1) | heavy traffic results. (1) | heavy traffic theory. (1) |
| heavy-tailed distribution (1) | heavy-tailed distributions (2) | heavy-tailed message length distribution (1) |
| heavy-tailed traffic (2) | heavy-tails (1) | heavy-traffic (1) |
| heavy-traffic asymptotics (1) | heavy-traffic limit theorems. (1) | heavy-traffic theorem (1) |
| heavy-traffic theory (1) | Hebbian-learning (1) | Hellinger distance (1) |
| Hellinger integral (1) | Hellinger integrals and processes. (1) | help architecture (1) |
| Heuristics (1) | hierarchical clustering (1) | high-dimensional clustering (1) |
| higher-order rewriting (1) | History variables (1) | hm models (1) |
| Hoelder exponent (1) | Hölder exponent (4) | homomorphism (1) |
| honesty (1) | Horn cardinality clauses. (1) | Hybrid control system (1) |
| Hybrid systems (2) | Hypermedia (3) | hypertext. (1) |
| Hypothetical-reasoning (1) | I/O (1) | I/O automata (5) |
| I/O behaviors (1) | Image reconstruction (1) | image representation (1) |
| imbedded process (1) | imperative language (1) | imperative programming (2) |
| implementation techniques (1) | incremental solution update (1) | incremental update (1) |
| induction (1) | infimum (1) | infinitary lambda calculus (2) |
| information change. (1) | information load. (1) | Information Retrieval (1) |
| information update (1) | information visualisation (1) | information visualization (3) |
| inheritance (1) | input derivative (1) | Input Prefixing (2) |
| Input Prefixing. (1) | input rate (1) | integers (2) |
| inter-application multi-query optimization (1) | interactive clustering (1) | interactive design. (1) |
| interactive presentation generation (1) | Interface Definition Language (1) | interleaving vs. partial orders (1) |
| intermediate format (1) | interpolation series (1) | interpreter (1) |
| interpreters (1) | interval arithmetic (1) | Invariants (2) |
| inverse of a process. (1) | Island grammars (1) | iteration (1) |
| join algorithms (1) | Kahn network (1) | knoewledge discovery in databases. (1) |
| knowledge representation (2) | Knowledge Representation Languages. (3) | Known-Item Retrieval (1) |
| Knuth-Bendix completion. (1) | Kolmogorov complexity (1) | Kullback-Leibler information (1) |
| labeled transition system (1) | labelled transition systems (1) | lambda calculus (1) |
| Lambek calculus (1) | language definition (2) | language-centered software engineering (1) |
| languages (2) | Laplace-Stieltjes transforms (1) | Laplacian pyramid (1) |
| Larch (2) | large deviations (1) | large volume image storage (1) |
| Layered cellular mobile communications network (1) | lazy term rewriting (1) | learning (1) |
| legacy systems (1) | libraries (2) | lift and project (1) |
| limit theorems (1) | limit theorems. (1) | limiting distributions (2) |
| lineaire programmeringstechnieken (1) | linear hybrid systems. (1) | Linear inequalities (1) |
| linear Poisson process (1) | Linear Process Equations (1) | Linear Process Operators (2) |
| linear relaxation (1) | Linearization of Recursive Specifications (1) | lip-sync (1) |
| liveness (1) | liveness. (1) | local correlation (1) |
| local scaling (1) | local search (1) | local search techniques (1) |
| Local search techniques. (1) | logarithmic asymptotics (1) | logging. (1) |
| logic of natural language (1) | logic programming (4) | logic programming. (2) |
| Logic programs (2) | long-range dependence (2) | long-tailed (2) |
| M/G/1 model (1) | M/G/1 queue (1) | Machine learning (1) |
| MADE (2) | main-memory databases (3) | Main-memory multi-attribute data storage (1) |
| Manchester encoding (1) | Markov chain (1) | Markov matrix (3) |
| Markov random set (1) | matching (1) | Mathematical morphology (2) |
| mathematics of modeling (1) | matrix algebra (1) | matrix geometric solution (1) |
| matroids (1) | max-plus algebra (1) | measurement-based admission control (1) |
| Median pyramid (1) | memory access optimization (1) | Memory Failures. (1) |
| Mereology. (1) | Message Authenticity. (1) | meta data (1) |
| Meta-variables (1) | Metric (2) | mild context-sensitivity (1) |
| MIMD (1) | minimal term rewriting systems (2) | Minimum Description Length principle (1) |
| minimum principle (1) | mobility (1) | modal and dynamic logic (1) |
| modal and temporal logic (1) | modal logic (7) | Model Checking (1) |
| model design (1) | models of communication (2) | models of communication. (2) |
| modularity (1) | Modularity. (1) | modulated Poisson process. (1) |
| modules (3) | monomer-dimer model (1) | Montague grammar (1) |
| morphological opening and closing (1) | muCRL (3) | muddy children puzzle (1) |
| multi dimensional scaling (1) | multi-grid methods (1) | multi-issue bargaining (1) |
| multi-query optimization (1) | multi-resolution (1) | multifractal analysis (2) |
| Multimedia (6) | Multimedia Database Systems (1) | multimedia databases (1) |
| multimedia document characteristics (1) | multimedia presentation generation (1) | Multimedia Programming. (1) |
| multimedia retrieval (1) | Multimedia Retrieval Systems (1) | Multimedia semantics (1) |
| multimedia. (1) | multiresolution analysis (2) | Multiresolution signal processing and analysis (1) |
| Multiscale morphological operators (1) | multiserver queue (1) | museum objects (1) |
| mutual exclusion (1) | narrowing (1) | natural language (1) |
| natural language processing (1) | Natural Language Semantics (1) | negation (1) |
| nested filtrations (1) | network protocols (1) | news (1) |
| ngrams (1) | NLP (1) | Non-constituent coordination (1) |
| Non-decreasing Lévy processes (1) | non-monotonic reasoning. (1) | non-monotonicity (1) |
| nondeterminism (1) | nonmonotonic reasoning (1) | nonmonotonic reasoning. (1) |
| normalisation (1) | normalization (1) | numerical constraints (1) |
| object (3) | object evolution (1) | object models (1) |
| object monitoring. (1) | Object Oriented Programming (1) | object-orientation. (2) |
| Object-oriented languages (5) | object-oriented. (2) | objects (1) |
| on-line algorithms (4) | on-line load balancing (1) | on/off sources (2) |
| Open Inventor (2) | opening by reconstruction (1) | Operational Semantics (1) |
| optimization (4) | optimization. (2) | order-sorted algebra. (1) |
| origin tracking (1) | Orthogonal Bisimulation (1) | outlier detection (1) |
| output rate (1) | Overflow system (1) | Overview diagram (1) |
| pair programming (1) | Parallel and distributed computing (1) | parallel and distributed databases (1) |
| Parallel Computing (5) | parallel databases (1) | parallel query processing (1) |
| parallelism (3) | Pareto type (1) | Pareto-type (1) |
| Pareto-type service time distribution (1) | parser generation (1) | parsing (1) |
| Partial algebras (2) | partial differential equation. (1) | partial evaluation (1) |
| Partial logic (1) | partial models (1) | partial order reduction (1) |
| partial parsing (1) | partiality (1) | Particle density. (1) |
| partition (1) | partition metric. (1) | path problems (1) |
| pattern matching (1) | percolation (1) | performance measurements (1) |
| permanent tasks (1) | perpetual strategies. (1) | phase pickers (1) |
| phase transition (1) | Philosophy of Science (1) | physical database design. (1) |
| Pickands constants. (1) | picture semantics (1) | piling (1) |
| point process (1) | Poisson process (1) | Polynomial algorithm (1) |
| polynomial matrices (1) | Polynomial optimization (1) | pomset processes (1) |
| positive semi-definite matrices (1) | positive semidefinite matrix (1) | powerdomain. (2) |
| preemptive (1) | Prefix Integration. (1) | PREMO (3) |
| preorder (2) | preorders (1) | presentation generation (1) |
| preservation results (1) | presupposition (1) | pretty-printing (1) |
| prime event structures (1) | principal component analysis. (1) | prior and posterior distributions (1) |
| priorities (1) | Probability theory (1) | process (2) |
| Process Algebra (16) | process graphs. (1) | Processor Crashes (1) |
| processor sharing (2) | processor sharing service discipline (1) | product-form (1) |
| production rules (1) | program analysis (6) | program analysis. (1) |
| program calculation (1) | program generation (3) | program generator (1) |
| program transformation (6) | Program transformation. (5) | program understanding (3) |
| program verification (1) | Program's Transformation (1) | programming environments (1) |
| programming language technology (1) | prolate spheroidal wave functions (1) | Prolog. (1) |
| proof checking (1) | proof method (1) | proof-checking (1) |
| proof-checking. (1) | Prophecy variables (1) | Proposition Solvers. (1) |
| Propositional logic (1) | protocol library (1) | protocol verification (6) |
| protocol verification. (1) | pseudometric (1) | Pyramid decomposition (1) |
| Python (5) | QoS (1) | Quad-tree (1) |
| quadratic (1) | Quantization (1) | quasi birth-death process. (1) |
| quasimetric (3) | query optimization (2) | query processing (1) |
| Query routing (1) | queue length asymptotics (1) | queue-length asymptotics (1) |
| Queueing models (1) | Radon transform (1) | random environment (1) |
| random generation (1) | Random Sampling (1) | random time change (1) |
| random walk (3) | randomized (1) | RDF (1) |
| Real Time (1) | Real Time. (2) | Real-time (2) |
| real-time consistency (1) | real-time scheduling (1) | Real-time storage systems (1) |
| real-time systems (1) | realization (3) | Reasoning with Underspecified Forms (1) |
| Receptiveness. (1) | reconstruction (1) | recursion (1) |
| Refactoring (2) | Refinements. (1) | Regular diffusions (1) |
| regular variation (5) | regular variation. (1) | regularly varying (1) |
| reinforced random walk. (1) | relation algebras (1) | relational algebra (1) |
| Relational methods (1) | relaxati on oscillations (1) | Repacking (1) |
| replication. (2) | representability (1) | representation languages (1) |
| representation theorems. (1) | reset feature (1) | resource augmentation (2) |
| Retrial queue. (1) | reverse engineer-ing (1) | reverse engineering (2) |
| rewriting (1) | rewriting system compiler (1) | rewriting systems (1) |
| rhetorical structure theory (1) | Riesz systems (1) | RSA. (1) |
| rules (1) | Sampling (1) | Satisfiability (1) |
| scaled variables (1) | scheduling (2) | scheduling applications (1) |
| scientific visualization (3) | scripting (1) | SDL (1) |
| search (1) | search strategies (1) | search. (1) |
| second moments infinite (1) | Secret Sharing. (1) | Secret-ballot elections (1) |
| Security (3) | seismology (1) | self organizing (1) |
| self-stabilization (2) | semantic indexing (1) | Semantic Web (1) |
| semantics (3) | semantics definition language (1) | semantics of knowledge-based reasoning. (1) |
| Semantics of Natural Language (3) | semantics of programming (1) | semi-orthogonal (1) |
| Semi-structured Databases (1) | Semidefinite programming (1) | semidefinite relaxation (1) |
| semiring (1) | series parallel graphs (1) | service interruptions (1) |
| service time distribution (1) | service time distributions (1) | shared data space (2) |
| shared memory (2) | sharing (1) | shift invariant (1) |
| Signal analysis and synthesis (1) | Signature transport. (2) | Signatures (1) |
| Silent Step (2) | similarity measure. (1) | Simulation relations (1) |
| simulator (1) | Situation Theory (1) | size distribution function (1) |
| Skeleton. (1) | SMIL. (2) | software architecture (2) |
| software bundle (1) | software bundling (1) | software development (1) |
| software engineering (1) | software maintenance (5) | Software process (1) |
| software renovation (3) | software renovation. (1) | software reusability (2) |
| sojourn time (2) | sojourn time distribution (1) | solver collaboration (1) |
| source model extraction (1) | SPAM. (5) | Spanish Inquisition (5) |
| sparse coding (1) | sparse-grid methods (1) | spatial (1) |
| specification (3) | specification formalisms. (1) | Specification Language (1) |
| specification languages (4) | spectral analysis (1) | spectral expansion. (1) |
| spiking neurons (2) | Splice (2) | spline (1) |
| split bisimulation equivalences (1) | split trace equivalences (1) | sport scheduling (1) |
| ST-bisimulation equivalence (1) | ST-trace equivalence (1) | stable (1) |
| stable connected operator (1) | stable convergence (1) | stable set polytope. (1) |
| stable sets (1) | standards (2) | state space generation (1) |
| static analysis (1) | stationary distributions (1) | Stirling numbers (1) |
| stochastic uncoupling (1) | strategy annotations (1) | stream (2) |
| Strong Bisimulation (1) | strong fairness (1) | strong filter (1) |
| structured operational semantics (1) | subexponential (2) | subgame perfect equilibrium (1) |
| succinct representation. (1) | survey. (1) | Synchronization (2) |
| synchronous firing (1) | tableau calculus (1) | tabu search. (1) |
| tail asymptotics (1) | tail asymptotics. (2) | tail probabilities (1) |
| tapers (1) | Teleconferencing system (1) | temporal coding (2) |
| temporal logic (2) | temporal reasoning (2) | temporary tasks (1) |
| term graph rewriting (1) | term rewrite systems (1) | Term rewriting (9) |
| Term rewriting strategies (1) | term rewriting systems (1) | term rewriting. (4) |
| Term rewriting. Tree traversal. Rewriting strategies. ASF+SDF (1) | termination (1) | termination. (4) |
| text-flow (1) | The seat reservation problem (1) | Theorem proving (1) |
| three-dimensional flow problems. (1) | three-dimensional graphics and interaction (1) | three-dimensional graphics and interaction. (1) |
| time (1) | time complexity (1) | time series correlation (1) |
| time-based (1) | time-change device (1) | timed $μ$CRL (2) |
| timed I/O automata (1) | timed muCRL (1) | timed transition systems (1) |
| timetabling (2) | TLA (1) | tool construction (2) |
| ToolBus. (2) | topology (2) | transfer theorems. (1) |
| Transformation-based optimization (1) | Transformations (2) | transient probabilities (1) |
| transition system (1) | translation invariance. (1) | Traveling Salesman Problem (1) |
| traversal (1) | Traversal schemes (1) | tree traversal (2) |
| tree visualisation (1) | triggers (1) | trigrams (1) |
| TRS (1) | truncation problem. (1) | two-dimensional Markov process (1) |
| Two-moment approximation (1) | type inference (2) | Type systems (1) |
| type-checking. (1) | Types (1) | ultrametric (2) |
| underconstrained problem (1) | unit testing (2) | universal algebra (1) |
| universal coalgebra (1) | unsupervised learning (1) | user interfaces (3) |
| user-interaction architecture (1) | variable usage (2) | variable-sized bins (1) |
| varying service rate (1) | vehicle routing (1) | Verifiable secret sharing (1) |
| Verification (5) | Verification of Optimizers. (1) | verification techniques (1) |
| video (1) | video archive (1) | Virtual Environments (1) |
| Virtual Reality (1) | Visual Language (1) | Voter model (1) |
| Voting (1) | Wait-Freedom (1) | waiting time (1) |
| waiting time distribution (1) | waiting time distributions (1) | wavelet theory (1) |
| wavelet transform (7) | Wavelets (3) | weak convergence (1) |
| weak fairness (1) | weak generative capacity (2) | weak orthogonality (1) |
| web databases (1) | Web markup languages. (1) | weighted (1) |
| weighted automaton (1) | Weighted Fair Queueing (WFQ). (2) | Wigner-Ville distribution (1) |
| windowed Radon transform (1) | Witness hiding protocols. (1) | workload process. (1) |
| WWW browser (1) | X-ray transform (1) | XML (3) |
| XSLT (1) | Y2K. (1) | Yoneda lemma (2) |
| Z. (1) | Zero Knowledge (1) | zonal graph (1) |
| \$$\backslash$lambda\$-calculus (3) | \$$\backslash$muCRL\$ (1) | \$$\backslash$mu\$CRL (2) |
| \$$\backslash$mu\$CRL. (2) | \$$\backslash$omega\$-completeness (1) | \$$\backslash$tau\$-confluence (1) |
| \$GI/G/1\$ queue. (1) | {\sc xml} (1) | |