Results 1  10
of
14,712
Decision problems for partial specifications:
"... Partial specifications allow approximate models of systems such as Kripke structures, or labeled transition systems to be created. Using the abstraction possible with these models, an avoidance of the statespace explosion problem is possible, whilst still retaining a structure that can have propert ..."
Abstract
 Add to MetaCart
Partial specifications allow approximate models of systems such as Kripke structures, or labeled transition systems to be created. Using the abstraction possible with these models, an avoidance of the statespace explosion problem is possible, whilst still retaining a structure that can have
Partial Specifications of Program Properties
"... For the automatic revision of homework assignments in Prolog programming courses, in general one has to rely on testing or on validating programs with respect to a specification. Here, we present a pragmatic and flexible method for the partial specification of program properties. Within the AT(P) sy ..."
Abstract
 Add to MetaCart
For the automatic revision of homework assignments in Prolog programming courses, in general one has to rely on testing or on validating programs with respect to a specification. Here, we present a pragmatic and flexible method for the partial specification of program properties. Within the AT
Partial specification of routing configurations
"... The formal analysis of routing protocol configurations for safety properties is well established. Methods exist to identify potential protocol oscillations by analysis of the network topology and route preference information. However, if not all of this information is available, then the existing th ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
theory does not apply. We present an analysis of partial specification of protocol instances and apply it to eBGP and iBGP examples, so that potential oscillations can be detected from the incomplete data. This technique is applicable to the incremental design of network configurations, where some parts
Consistency and refinement for partial specification in Z
 FME'96: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, volume 1051 of Lecture Notes in Computer Science
, 1996
"... . This paper discusses theoretical background for the use of Z as a language for partial specification, in particular techniques for checking consistency between viewpoint specifications. The main technique used is unification, i.e. finding a (candidate) least common refinement. The corresponding no ..."
Abstract

Cited by 16 (13 self)
 Add to MetaCart
. This paper discusses theoretical background for the use of Z as a language for partial specification, in particular techniques for checking consistency between viewpoint specifications. The main technique used is unification, i.e. finding a (candidate) least common refinement. The corresponding
The NewReno Modification to TCP’s Fast Recovery Algorithm
, 2003
"... RFC 2581 [RFC2581] documents the following four intertwined TCP congestion control algorithms: Slow Start, Congestion Avoidance, Fast Retransmit, and Fast Recovery. RFC 2581 [RFC2581] explicitly allows certain modifications of these algorithms, including modifications that use the TCP Selective Ackn ..."
Abstract

Cited by 600 (9 self)
 Add to MetaCart
Acknowledgement (SACK) option [RFC2018], and modifications that respond to "partial acknowledgments" (ACKs which cover new data, but not all the data outstanding when loss was detected) in the absence of SACK. The NewReno mechanism described in this document describes a specific algorithm for responding
An equilibrium characterization of the term structure.
 J. Financial Econometrics
, 1977
"... The paper derives a general form of the term structure of interest rates. The following assumptions are made: (A.l) The instantaneous (spot) interest rate follows a diffusion process; (A.2) the price of a discount bond depends only on the spot rate over its term; and (A.3) the market is efficient. ..."
Abstract

Cited by 1041 (0 self)
 Add to MetaCart
. Under these assumptions, it is shown by means of an arbitrage argument that the expected rate of return on any bond in excess of the spot rate is proportional to its standard deviation. This property is then used to derive a partial differential equation for bond prices. The solution to that equation
Towards flexible teamwork
 JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
, 1997
"... Many AI researchers are today striving to build agent teams for complex, dynamic multiagent domains, with intended applications in arenas such as education, training, entertainment, information integration, and collective robotics. Unfortunately, uncertainties in these complex, dynamic domains obst ..."
Abstract

Cited by 570 (59 self)
 Add to MetaCart
and communication is key in addressing such uncertainties. Simply tting individual agents with precomputed coordination plans will not do, for their in flexibility can cause severe failures in teamwork, and their domainspecificity hinders reusability. Our central hypothesis is that the key to such flexibility
Strongly Elliptic Systems and Boundary Integral Equations
, 2000
"... Partial differential equations provide mathematical models of many important problems in the physical sciences and engineering. This book treats one class of such equations, concentrating on methods involving the use of surface potentials. It provides the first detailed exposition of the mathematic ..."
Abstract

Cited by 501 (0 self)
 Add to MetaCart
Partial differential equations provide mathematical models of many important problems in the physical sciences and engineering. This book treats one class of such equations, concentrating on methods involving the use of surface potentials. It provides the first detailed exposition
Income and Wealth Heterogeneity in the Macroeconomy,
 Journal of Political Economy
, 1998
"... How do movements in the distribution of income and wealth affect the macroeconomy? We analyze this question using a calibrated version of the stochastic growth model with partially uninsurable idiosyncratic risk and movements in aggregate productivity. Our main finding is that, in the stationary st ..."
Abstract

Cited by 678 (11 self)
 Add to MetaCart
How do movements in the distribution of income and wealth affect the macroeconomy? We analyze this question using a calibrated version of the stochastic growth model with partially uninsurable idiosyncratic risk and movements in aggregate productivity. Our main finding is that, in the stationary
A Survey of Approaches to Automatic Schema Matching
 VLDB JOURNAL
, 2001
"... Schema matching is a basic problem in many database application domains, such as data integration, Ebusiness, data warehousing, and semantic query processing. In current implementations, schema matching is typically performed manually, which has significant limitations. On the other hand, previous ..."
Abstract

Cited by 1351 (51 self)
 Add to MetaCart
research papers have proposed many techniques to achieve a partial automation of the match operation for specific application domains. We present a taxonomy that covers many of these existing approaches, and we describe the approaches in some detail. In particular, we distinguish between schema
Results 1  10
of
14,712