نتایج جستجو برای: abstracting
تعداد نتایج: 3042 فیلتر نتایج به سال:
ing C with abC Dennis Dams William Hesse Gerard Holzmann
Abstracting Probabilistic Actions Peter Haddawy AnHai Doan Department of Electrical Engineering and Computer Science University of Wisconsin-Milwaukee PO Box 784 Milwaukee, WI 53201 fhaddawy, [email protected] Abstract This paper discusses the problem of abstracting conditional probabilistic actions. We identify two distinct types of abstraction: intra-action abstraction and inter-action abstra...
ing Process-to-Function Relations in Concurrent Object-Oriented Applications ? Cristina Videira Lopes ?? , Karl J. Lieberherr College of Computer Science Northeastern University Cullinane Hall Boston, MA 02115, USA email: fcrista, [email protected] Abstract. This paper presents a programming model for concurrent object-oriented applications by which concurrency issues are abstracted and separ...
ing Granular Provenance Timothy Lebo Ping Wang Alvaro Graves
ING REFINEMENTS FOR TRANSFORMATION EINAR BROCH JOHNSEN University of Oslo, Department of Informatics P.O. Box 1080 Blindern, N-0316 Oslo, Norway [email protected] CHRISTOPH LÜTH Universität Bremen, FB 3 — Mathematik und Informatik P.O. Box 330 440, D-28334 Bremen, Germany [email protected] Abstract. Formal program development by stepwise refinement involves a lot of work discharging ...
ing over Semantic Theories Alexander Guy Brockway Holt Doctor of Philosophy University of Edinburgh 1993 Abstract The topic of this thesis is abstraction over theories of formal semantics for natural language. It is motivated by the belief that a metatheoretical perspective can contribute both to a better theoretical understanding of semantic theories, and to improved practical mechanisms for d...
Allowing the description of a collection of objects, the concept of a “class” is central to object-oriented programming languages, yet, it is inadequate to describe the collaborations that arise from the interactions between these objects. The continued interest in concretizing object interactions — be it on the level of design through patterns, on the level of programming languages through fir...
In the predicate calculus, variables provide a flexible indexing service that selects the actual arguments to a predicate letter from among possible arguments that precede the predicate letter (in the parse of the formula). In the process of selection, the possible arguments can be permuted, repeated (used more than once), and skipped. If this serviCe is withheld, so that arguments must be the ...
The ever-growing amount of documents (electronic or other) has increased the value of abstracts, and abstracting systems and services, as instruments for concentrating and supplying relevant information. Ongoing research in different disciplines, with abstracting as the common subject matter, points to the usefulness of the paradigm concept. This perspective would provide the coherence necessar...
ing Chains of Reasoning Alan Lindsay, Maria Fox, Derek Long University of Strathclyde, Glasgow
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید