Top-down and bottom-up theorem proving approaches have each speciic advantages and disadvantages. Bottom-up provers proot from strong redundancy control and suuer from the lack of goal-orientation, whereas top-down provers are goal-oriented but have weak calculi when their proof lengths are considered. In order to integrate both approaches our method is to achieve cooperation between a top-down...

How should code reuse be supported in a statically-typed, expression-oriented programming language? Neither functionbased reuse nor class-based inheritance provides a good solution in this setting. We question the requirements for code reuse, proposing that future work evaluate whether open recursion is really needed to support cases commonly seen in industry. In addition, we explore the design...

Over the last years, object-orientation has been recognized as a suitable technique for the modeling and design of real-time systems. Although modeling strategies archived a high-level of maturity, current run-time infrastructures have not reached “the Nirvana”. The so called middleware, which provide adequate abstractions for programming object-oriented real-time applications, still demands lo...

Thanks to steady advances in hardware, mobile computing platforms are nowadays much more connected to their physical and logical environment than ever before. To ease the construction of adaptable applications that are smarter with respect to their execution environment, the context-oriented programming paradigm has emerged. However, up until now there has been no proof that this emerging parad...

this study aims at empirically furthering awareness of the organization of interaction in efl classes. informed by the methodological framework of conversation analysis, it draws upon a corpus of 52 three-hour naturally-occurring classroom interaction to identify classroom interactional contexts based on the structuring of the pedagogic goals in turn-taking sequences. conversation analytic proc...

the acceptance of the right project which leads to the realization of the set objectives is one of the most important issues in project-oriented companies. therefore, corporate managers prefer to work on those projects which ensures the achievement of goals such as increasing financial profits or being the top brands in their rivals market. the present  research aimed at introducing  a systemat...

the acceptance of the right project which leads to the realization of the set objectives is one of the most important issues in project-oriented companies. therefore, corporate managers prefer to work on those projects which ensures the achievement of goals such as increasing financial profits or being the top brands in their rivals market. the present  research aimed at introducing  a systemat...

The event based architectural style has been recognized as fostering the development of large-scale and complex systems by loosely coupling their components. It is therefore increasingly deployed in various environments such as middleware for mobile computing, message oriented middleware, integration frameworks, communication standards, and commercial toolkits. The development of applications b...