This paper introduces traits.js, a small, portable trait composition library for Javascript. Traits are a more robust alternative to multiple inheritance and enable object composition and reuse. traits.js is motivated by two goals: first, it is an experiment in using and extending Javascript’s recently added meta-level object description format. By reusing this standard description format, trai...

This paper introduces traits.js, a small, portable trait composition library for Javascript. Traits are a more robust alternative to multiple inheritance and enable object composition and reuse. traits.js is motivated by two goals: first, it is an experiment in using and extending Javascript’s recently added meta-level object description format. By reusing this standard description format, trai...

We present an extension of the low complexity Description Logic EL+ for reasoning about prototypical properties and inheritance with exceptions. We add to EL+ a typicality operator T, which is intended to select the “most normal” instances of a concept. In the resulting logic, called EL+T, the knowledge base may contain subsumption relations of the form “T(C) is subsumed by P”, expressing that ...

The Author considers the hereditary transmission as a special legal phenomenon, analyzes problematic issues of current legislation and possible ways to resolve them based on established judicial practice. This topic seemed quite interesting, despite its obvious lack demand in notarial practice last five years. scientific work is result theoretical practical analysis, both entire institute trans...

This paper informally introduces Object Petri Nets (OPNs) with a number of examples and discusses how this kind of Petri Net addresses a number of issues pertinent to Concurrent Object-Oriented Programming Languages. OPNs support a thorough integration of object-oriented concepts into Petri Nets, including inheritance and the associated polymorphism and dynamic binding. They have a single class...

We present an extension of the low complexity Description Logic EL ⊥ for reasoning about prototypical properties and inheritance with exceptions. We add to EL ⊥ a typicality operator T, which is intended to select the “most normal” instances of a concept. In the resulting logic, called EL ⊥ T, the knowledge base may contain subsumption relations of the form “T(C) is subsumed by P”, expressing t...

In recent years, real-time operating systems began to support the resource reservation paradigm. This technique has proved to be very effective in providing QoS to both, real-time and legacy applications, ensuring that the temporal misbehavior of an application does not affect any other (temporal isolation). However, resource sharing in a reservation system is still not well understood, and can...

The number of accounts belonging to deceased people is increasing in social networks. At the same time, law does not regulate period its existence. Social networks contain various rules for existence after death their owners. Some companies already offer digital afterlife. article offers an analysis technologies reincarnation a person relation right «digital death». potential risks obtaining un...

The adoption of adopted children in the Toba Batak community is carried out an open and cash way. main reason absence descendants. indigenous itself adheres to a patrilineal system that based on male/father lineage. requirements for adopting by people are according customs people, carrying traditional ceremony "dirajahon" front dalihan na tolu, leaders / leaders, local giving ulos parompa (carp...