Many modern systems, including web servers, database engines, and operating system kernels, are using language-based protection mechanisms to provide the safety and integrity traditionally supplied by hardware. As these language-based systems become used in more demanding situations, they are faced with the same problems that traditional operating systems have solved—namely shared resource mana...

an orthogonal approach to the fuzzification of both multisets and hybridsets is presented. in particular, we introduce $l$-multi-fuzzy and$l$-fuzzy hybrid sets, which are general enough and in spirit with thebasic concepts of fuzzy set theory. in addition, we study the properties ofthese structures. also, the usefulness of these structures is examined inthe framework of mechanical multiset proc...

The nested relational data model is a natural generalisation of the relational data model, but it often leads to designs which hide the data structures needed to specify queries and updates in the information system. The relational data model on the other hand exposes the specifications of the data structures and permits the minimal specification of queries and updates using SQL. The deficienci...

Nested lock requests in multiprocessor real-time systems can be handled by only a handful of synchronization protocols. These protocols trade off overhead and blocking under varying analysis assumptions. In some systems, a finegrained contention-sensitive protocol has significantly lower worst-case blocking compared to its non-contention-sensitive counterparts, which yields improved schedulabil...

In this paper, we present an open and safe nested transaction model. We discuss the concurrency control and recovery algorithms for our model. Our nested transaction model uses the notion of a recovery point subtransaction in the nested transaction tree. It incorporates a prewrite operation before each write operation to increase the potential concurrency. Our transaction model is termed ``open...

In this work we explore the connections between (linear) nested sequent calculi and ordinary sequent calculi for normal and non-normal modal logics. By proposing local versions to ordinary sequent rules we obtain linear nested sequent calculi for a number of logics, including to our knowledge the first nested sequent calculi for a large class of simply dependent multimodal logics, and for many ...

In modern multiprocessor systems, processors can be stalled by inter-task communication when reading from a remote buffer. This paper presents a solution for the inter-task communication, that has a minimal impact on the performance of the system, hides the inter-task communication latency without requiring additional hardware. The solution applies to jobs, represented as task graphs, where the...