Parameter-preserving data type specifications
نویسندگان
چکیده
منابع مشابه
modeling loss data by phase-type distribution
بیمه گران همیشه بابت خسارات بیمه نامه های تحت پوشش خود نگران بوده و روش هایی را جستجو می کنند که بتوانند داده های خسارات گذشته را با هدف اتخاذ یک تصمیم بهینه مدل بندی نمایند. در این پژوهش توزیع های فیزتایپ در مدل بندی داده های خسارات معرفی شده که شامل استنباط آماری مربوطه و استفاده از الگوریتم em در برآورد پارامترهای توزیع است. در پایان امکان استفاده از این توزیع در مدل بندی داده های گروه بندی ...
Property Preserving Redesign of Specifications
In the traditional formal approach to system specification and implementation, the software development process consists of a number of refinement steps which transform the initial specification into its correct realisation. This idealised view can hardly capture common situations when a specification changes in a non-incremental way, e.g. when client requirements change or new software technol...
متن کاملAbstractions Preserving Parameter Confidentiality
ions Preserving Parameter Confidentiality ? Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph Fraunhofer – Institute for Secure Information Technology SIT, Germany {guergens,ochsenschlaeger,rudolphc}@sit.fraunhofer.de Abstract. Confidentiality of certain parameters is an essential security Confidentiality of certain parameters is an essential security requirement for many security sensitive...
متن کاملRAPPORT Homomorphism preserving algebraic specifications require hidden
Although every computable data type has an initial algebra speci-cation with hidden functions, it may happen that some of the homo-morphic images of the data type are not models of the speciication. The latter are reducts of algebras that would be models of the specii-cation if all its functions were visible, whereas the homomorphic images of the data type are independent of the speciication an...
متن کاملParameter Dependent Performance Specifications of Software Components
Abstract. Performance predictions based on design documents aim at improving the quality of software architectures. In component-based architectures, it is difficult to specify the performance of individual components, because it depends on the deployment context of a component, which may be unknown to its developers. The way components are used influences the perceived performance, but most pe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1987
ISSN: 0022-0000
DOI: 10.1016/0022-0000(87)90024-9