MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Computability in Specification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1,418 documents found, showing 1 through 10. Next 10 →

ATOM

Computing Specificity in Default Reasoning
by Salem Benferhat — 2000 — Algorithms for Uncertainty and Defeasible Reasoning, volume 5 of Handbook of Defeasible Reasoning and Uncertainty Management Systems
…Computing specificity in default reasoning Salem Benferhat 118, route de Narbonne Toulouse, 31062…
Cited by 1 (0 self) – Add To MetaCart

Computing Specific Isolating Neighborhoods
by Oliver Junge Department, Oliver Junge
…Computing specific isolating neighborhoods Oliver Junge Department of Mathematics and Computer…
Add To MetaCart

Computation and specification models. A comparative study
by Egon Börger — 2002 — Department of Computer Science at University of Aarhus
…Computation and Specification Models. A Comparative Study ∗ Egon Börger (Università di Pisa, Italy…
Cited by 3 (2 self) – Add To MetaCart

Toward a General Theory of Computation and Specification over Abstract Data Types
by J.V. Tucker, J. I. Zucker — 1990 — Advances in Computing and Information ICCI '90, International Conference on Computing and Information, Niagara Falls
…Toward a General Theory of Computation and Specification over Abstract Data Types J.V. Tucker 1…
Cited by 2 (0 self) – Add To MetaCart

Models of Computation for Specification and Design Methodology Frameworks for Parallel
by Randall Janka — 1999 — 1999 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Las Vegas, NV
…Models of Computation for Specification and Design Methodology Frameworks for Parallel…
Cited by 4 (4 self) – Add To MetaCart

Actor Languages for Specification of Parallel Computations
by Gul Agha, Wooyoung Kim, Rajendra Panwar — 1994 — DIMACS. Series in Discrete Mathematics and Theoretical Computer Science. vol 18. Specification of Parallel Algorithms
… Languages for Specification of Parallel Computations GUL AGHA, WOOYOUNG KIM AND RAJENDRA PANWAR Abstract…
Cited by 16 (8 self) – Add To MetaCart

Abstract State Machines: A unifying view of models of computation and of system design frameworks
by Egon Börger — 2005 — Annals of Pure and Applied Logic
…@(email omitted); Abstract We capture the principal models of computation and specification in the literature by a uniform…
Cited by 10 (5 self) – Add To MetaCart

The Carrot Approach: Encouraging Use of Location Systems
by Kieran Mansley, Alastair R. Beresford, David Scott — 2004 — In Proceedings of UbiComp
… fundamental problem in location-aware computing; specifically the lack of understanding about which…
Cited by 6 (0 self) – Add To MetaCart

Functional Architecture.
by Consortium Issue, Status Public Document, Author(s) Chelo Abarca, Takeo Hamada, Cheol Kim, Carlo Licciardi, Raja Rosli, Steegmans Wataru Takita, Takeo Hamada, Frank Steegmans — 1997
… Network Components Specification Version 2.2 Abstract: This document contains the computational…
Add To MetaCart

Computational Modelling Concepts
by Date Of Issue
…. These concepts provide the framework for the computational specification of distributed telecommunications…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB