Library

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Time-dependent distributed systems: proving safety, liveness and real-time properties (1987)
    Springer
    Distributed computing 2 (1987), S. 61-79 
    Details
    ISSN: 1432-0452
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Most communication protocol systems utilize timers to implement real-time constraints between event occurrences. Such systems are said to betime-dependent if the real-time constraints are crucial to their correct operation. We present a model for specifying and verifying time-dependent distributed systems. We consider networks of processes that communicate with one another by message-passing. Each process has a set of state variables and a set of events. An event is described by a predicate that relates the values of the network's state variables immediately before to their values immediately after the event occurrence. The predicate embodies specifications of both the event's enabling condition and action. Inference rules for both safety and liveness properties are presented. Real-time progress properties can be verified as safety properties. We illustrate with three sliding window data transfer protocols that use modulo-2 sequence numbers. The first protocol operates over channels that only lose messages. It is a time-independent protocol. The second and third protocols operate over channels that lose, reorder, and duplicate messages. For their correct operation, it is necessary that messages in the channels have bounded lifetimes. They are time-dependent protocols.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01667079
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Specifying modules to satisfy interfaces: A state transition system approach (1992)
    Springer
    Distributed computing 6 (1992), S. 39-63 
    Details
    ISSN: 1432-0452
    Keywords: Interface ; Module ; Specification ; Verification ; Composition
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Summary We defineinterface, module and the meaning ofM offers I, whereM denotes a module andI an interface. For a moduleM and disjoint interfacesU andL, the meaning ofM using L offers U is also defined. For a linear hierarchy of modules and interfaces,M 1, I1, M2, I2, ...,M n, In, we present the following composition theorem: IfM 1 offersI 1 and, fori=2, ...,n, M i usingI i−1 offersI i, then the hierarchy of modules offersI n. Our theory is applied to solve a problem posed by Leslie Lamport at the 1987 Lake Arrowhead Workshop. We first present a formal specification of a serializable database interface. We then provide specifications of two modules, one based upon two-phase locking and the other multi-version timestamps; the two-phase locking module uses an interface offered by a physical database. We prove that each module offers the serializable interface.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02276640
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    The Design of Discrimination Experiments (1993)
    Springer
    Machine learning 12 (1993), S. 185-203 
    Details
    ISSN: 0885-6125
    Keywords: Experiment design ; learning by experimentation ; scientific discovery ; theory revision ; qualitative physics
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Experimentation plays a fundamental role in scientific discovery. Scientists experiment to gather data, investigate phenomena, measure quantities, and test theories. In this article, we address the problem of designing experiments to discriminate between two completing theories. Given an initial situation for which the two theories make the same prediction, the experiment design problem is to determine how to modify the situation such that the two theories make different predictions for the modified situation. The modified situation is called a discrimination experiment. We present a knowledge-intensive method called DEED for designing discrimination experiments. The method analyzes the differences in the two theories' explanations of the prediction for the initial situation. Based on this analysis, it determines modifications to the initial situation that will result in a discrimination experiment. We illustrate the method with the design of experiments to discriminate between several pairs of qualitative theories in the fluids domain.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1022831719725
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    The design of discrimination experiments (1993)
    Springer
    Machine learning 12 (1993), S. 185-203 
    Details
    ISSN: 0885-6125
    Keywords: Experiment design ; learning by experimentation ; scientific discovery ; theory revision ; qualitative physics
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Experimentation plays a fundamental role in scientific discovery. Scientists experiment to gather data, investigate phenomena, measure quantities, and test theories. In this article, we address the problem of designing experiments to discriminate between two completing theories. Given an initial situation for which the two theories make the same prediction, the experiment design problem is to determine how to modify the situation such that the two theories make different predictions for the modified situation. The modified situation is called adiscrimination experiment. We present a knowledge-intensive method called DEED for designing discrimination experiments. The method analyzes the differences in the two theories' explanations of the prediction for the initial situation. Based on this analysis, it determines modifications to the initial situation that will result in a discrimination experiment. We illustrate the method with the design of experiments to discriminate between several pairs of qualitative theories in the fluids domain.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00993066
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 5
    Electronic Resource
    Electronic Resource
    Reversion to virulence in Leishmania major correlates with expression of surface lipophosphoglycan
    Amsterdam : Elsevier
    Molecular & Biochemical Parasitology 61 (1993), S. 207-216 
    Details
    ISSN: 0166-6851
    Keywords: Avirulence ; Leishmania major ; Lipophosphoglycan ; Mutagenesis ; Promastigote surface protease ; Reversion ; [abr] DMEM, Dulbecco's minimal essential medium ; [abr] HBSS, Hank's balanced salt solution ; [abr] LPG, lipophosphoglycan ; [abr] PNA, peanut agglutinin ; [abr] PSP, promastigote surface protease
    Source: Elsevier Journal Backfiles on ScienceDirect 1907 - 2002
    Topics: Biology
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1016/0166-6851(93)90067-8
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 6
    Electronic Resource
    Electronic Resource
    Dispersion in round tubes and its implications for extracolumn dispersion
    Amsterdam : Elsevier
    Journal of Chromatography A 556 (1991), S. 235-248 
    Details
    ISSN: 0021-9673
    Source: Elsevier Journal Backfiles on ScienceDirect 1907 - 2002
    Topics: Chemistry and Pharmacology
    Type of Medium: Electronic Resource
    URL: http://linkinghub.elsevier.com/retrieve/pii/S0021-9673(01)96224-7
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 7
    Electronic Resource
    Electronic Resource
    Dispersion in laminar flow in short tubes (1989)
    Hoboken, NJ : Wiley-Blackwell
    AIChE Journal 35 (1989), S. 2048-2052 
    Details
    ISSN: 0001-1541
    Keywords: Chemistry ; Chemical Engineering
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology , Process Engineering, Biotechnology, Nutrition Technology
    Additional Material: 5 Ill.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1002/aic.690351218
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...