منابع مشابه
k-p-Infix codes and semaphore codes
In this paper we introduce the concepts of k-p-in x codes, n-k-ps-in x languages, n-k-in xout x codes, and n-k-pre x-su x languages, which are natural generalizations of our previous work on k-pre x codes, k-in x codes and so on. We obtain several properties of k-p-in x codes and semaphore codes. The relations and hierarchies of k-p-in x codes, n-k-ps-languages, and n-kpre x-su x languages, and...
متن کاملDistributed Semaphore in a Messenger Environment
The messenger paradigm advocates the exchange of programs called messengers between communicating hosts instead of messages. Each host contains a messenger execution environment called messenger platform. Messengers are expressed in a language understood by all the platforms. A distributed messenger environment is a collection of messenger platforms linked through an unreliable network offering...
متن کاملFrom Semaphore to Predator Intelligence in the Internet Era
A. Denis Clift is President of the Joint Military Intelligence College. During the Napoleonic Wars, the French revolutionized land-based communications with the erection of semaphore towers bearing rotating arms to fashion coded signals that could speed by lineof-sight from tower to tower along the coast and across the country at some 200 miles an hour. The British quickly followed suit in that...
متن کاملAutomatic Refinement of Split Binary Semaphore
Binary semaphores can be used to implement conditional critical regions by using the split binary semaphore (SBS) technique. Given a specification of a conditional critical regions problem, the SBS technique provides not only the resulting programs but also some invariants which ensure the correctness of the solution. The programs obtained in this way are generally not efficient. However, they ...
متن کاملSemaphore - A Model-Based Semantic Mapping Framework
This paper presents a framework and a tool devised to aid in obtaining information interoperability between enterprise applications. The approach has its foundations in the principles of model-driven architecture (MDA) and architecture-driven modernisation (ADM). The key idea is that mappings between different information formats are defined at a platformindependent level, and that the mechanis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Franklin Institute
سال: 1889
ISSN: 0016-0032
DOI: 10.1016/0016-0032(89)90197-x