We present a complete solution of the RPC-Memory Spec-iication Problem, by applying a constraint-oriented state-based proof methodology for concurrent software systems. Our methodolgy exploits compositionality and abstraction for the reduction of the veriication problem under investigation. Formal basis for this methodology are Modal Transition Systems allowing loose state-based speciications, ...

The output data from a structure is the building block for output-only modal analysis. The structure response in the output data, however, is usually contaminated with noise. Naturally, the success of output-only methods in determining the modal parameters of a structure depends on noise level. In this paper, the possibility and accuracy of identifying the modal parameters of a simply supported...

The objective of this article is to try elucidate Wittgenstein’s extravagant thesis that each and every mathematical advancement involves some “semantical mutation”, i.e., alteration the very meanings terms involved. To do we will argue in favor idea a “modal incompatibility” between concepts involved, as they were prior advancement, what become after new result was obtained. We also adoption p...

The aim of illocutionary logic is to explain how context can affect the meaning of certain special kinds of performative utterances. Recall that performative utterances are understood as follows: a speaker performs the illocutionary act (e.g. act of assertion, of conjecture, of promise) with the illocutionary force (resp. assertion, conjecture, promise) named by an appropriate performative verb...

Abstract The Optative negative of Beja is a multifunctional paradigm which encodes optative, hortative and jussive grammatical meanings, depending on the person, as well participant-internal participant-external modalities impossibility unnecessity. It also sole licensed in balanced embedded clauses. Based large corpus naturalistic first-hand data, this study analyses various uses paradigm, pro...

Stimuli from different sensory modalities are thought to be processed initially in distinct unisensory brain areas prior to convergence in multisensory areas. However, signals in one modality can influence the processing of signals from other modalities and recent studies suggest this cross-modal influence may occur early on, even in 'unisensory' areas. Some recent psychophysical studies have s...

In this paper, we report on the design and implementation of a multi-modal user interface of the virtual world database system (VWDB). The VWDB is currently under development at Ochanomizii University with the aim of realizing a new generation database system for cyberspace applications. The system will be constructed by integrating a virtual reality system and an object-oriented database syste...

In many public transport oriented cities in the world, especially Asian cities, the public transport system has been developed extensively, to the extent that it has become increasingly difficult to navigate. Although inter-modal transfers are common and often necessary, a complete set of the routes across transport modes is generally not presented in a form that is accessible to travelers, as ...

In this paper we discuss a multi-modal agent platform, based on the BDI paradigm. We now have environments where more than one agent is available and where there is a need for uniformity in agent design and agent interaction. This requires a more general and uniform approach to developing agent-oriented virtual environments that allow multi-modal interaction. We first focus on a formal model fo...

In the service oriented architecture framework, a modal specification, as defined by Larsen in [5], formalises how a service should interact with its environment. More precisely, a modal specification determines the events that the server may or must allow at each stage in an interactive session. In this paper, we investigate the adaptation of the supervisory control theory of Ramadge and Wonha...