The LAURE{trademark} System provides efficient, state-of-the-art support for object-oriented prog... more The LAURE{trademark} System provides efficient, state-of-the-art support for object-oriented programming, production rules and finite domain constraint resolution. In this paper we describe the most recent steps in the evolution of the system from its origins as a research vehicle and tool for rapid development of prototypes into a production-quality system for advanced applications in industry.
Systems Integration '90. Proceedings of the First International Conference on Systems Integration
Describes an approach to the generation and validation of specifications of telecommunications se... more Describes an approach to the generation and validation of specifications of telecommunications services, based on the integration of a domain modeling technique with a formal specification language. this integration is needed to foster advanced intelligent network service creation goals such as economy, timeliness, user validation, reuse, and traceability, and it is needed in particular for the development of integrated software
Describes an approach to the generation and validation of specifications of telecommunications se... more Describes an approach to the generation and validation of specifications of telecommunications services, based on the integration of a domain modeling technique with a formal specification language. this integration is needed to foster advanced intelligent network service creation goals such as economy, timeliness, user validation, reuse, and traceability, and it is needed in particular for the development of integrated software tools. The authors begin by defining a domain modeling technique. AREA (attributes, relations, entities, actions), that addresses the need to describe both behavior and data, and they outline a tool-oriented methodology for generating AREA descriptions. They describe a bridge between AREA and the ISO formal description technique LOTOS, thus providing the basis for an architectural semantics for the application of such a formal description technique to service creation. Required extensions to the ISO standard are identified
Journal of The American Statistical Association, 1983
Multimodal generalizations of the normal, gamma, inverse gamma, and beta distributions are introd... more Multimodal generalizations of the normal, gamma, inverse gamma, and beta distributions are introduced within a unified framework. These multimodal distributions, belonging to the exponential family, require fewer parameters than corresponding mixture densities and have unique maximum likelihood estimators. Simple moment recursion relations, which make maximum likelihood estimation feasible, also yield easily computed estimators that themselves are shown to be consistent and asymptotically normal. Lastly, a statistic for bimodality, based on Cardan's discriminant for a cubic shape polynomial, is introduced.
Abstract Many problems in the telecommunication business and elsewhere seem to resist an object-o... more Abstract Many problems in the telecommunication business and elsewhere seem to resist an object-oriented approach. Although objects and classes are easily identified and requirements can be mapped into methods, the object-oriented paradigm does not shed ...
Abstract: In this paper, we consider the problem of assigning tasks to operators according to a l... more Abstract: In this paper, we consider the problem of assigning tasks to operators according to a large set of constraints that include time sensitivity and travel optimization. Our practical instance of this problem combines computational complexity (scheduling the tasks for one ...
Many problems in the telecommunication business and elsewhere seem to resist an object-orient ed ... more Many problems in the telecommunication business and elsewhere seem to resist an object-orient ed approach. Although objects and classes are easily identified and requirements can be mapped into methods, the object-oriented paradigm does not shed much light on how to solve problems with combinatorial computational complexity. On the other hand, these problems often occur in large projects that require reuse
The LAURE{trademark} System provides efficient, state-of-the-art support for object-oriented prog... more The LAURE{trademark} System provides efficient, state-of-the-art support for object-oriented programming, production rules and finite domain constraint resolution. In this paper we describe the most recent steps in the evolution of the system from its origins as a research vehicle and tool for rapid development of prototypes into a production-quality system for advanced applications in industry.
Systems Integration '90. Proceedings of the First International Conference on Systems Integration
Describes an approach to the generation and validation of specifications of telecommunications se... more Describes an approach to the generation and validation of specifications of telecommunications services, based on the integration of a domain modeling technique with a formal specification language. this integration is needed to foster advanced intelligent network service creation goals such as economy, timeliness, user validation, reuse, and traceability, and it is needed in particular for the development of integrated software
Describes an approach to the generation and validation of specifications of telecommunications se... more Describes an approach to the generation and validation of specifications of telecommunications services, based on the integration of a domain modeling technique with a formal specification language. this integration is needed to foster advanced intelligent network service creation goals such as economy, timeliness, user validation, reuse, and traceability, and it is needed in particular for the development of integrated software tools. The authors begin by defining a domain modeling technique. AREA (attributes, relations, entities, actions), that addresses the need to describe both behavior and data, and they outline a tool-oriented methodology for generating AREA descriptions. They describe a bridge between AREA and the ISO formal description technique LOTOS, thus providing the basis for an architectural semantics for the application of such a formal description technique to service creation. Required extensions to the ISO standard are identified
Journal of The American Statistical Association, 1983
Multimodal generalizations of the normal, gamma, inverse gamma, and beta distributions are introd... more Multimodal generalizations of the normal, gamma, inverse gamma, and beta distributions are introduced within a unified framework. These multimodal distributions, belonging to the exponential family, require fewer parameters than corresponding mixture densities and have unique maximum likelihood estimators. Simple moment recursion relations, which make maximum likelihood estimation feasible, also yield easily computed estimators that themselves are shown to be consistent and asymptotically normal. Lastly, a statistic for bimodality, based on Cardan's discriminant for a cubic shape polynomial, is introduced.
Abstract Many problems in the telecommunication business and elsewhere seem to resist an object-o... more Abstract Many problems in the telecommunication business and elsewhere seem to resist an object-oriented approach. Although objects and classes are easily identified and requirements can be mapped into methods, the object-oriented paradigm does not shed ...
Abstract: In this paper, we consider the problem of assigning tasks to operators according to a l... more Abstract: In this paper, we consider the problem of assigning tasks to operators according to a large set of constraints that include time sensitivity and travel optimization. Our practical instance of this problem combines computational complexity (scheduling the tasks for one ...
Many problems in the telecommunication business and elsewhere seem to resist an object-orient ed ... more Many problems in the telecommunication business and elsewhere seem to resist an object-orient ed approach. Although objects and classes are easily identified and requirements can be mapped into methods, the object-oriented paradigm does not shed much light on how to solve problems with combinatorial computational complexity. On the other hand, these problems often occur in large projects that require reuse
Uploads
Papers by Peter Koppstein