This work is finished and published [7]. A reviewed version of this article will appear shortly. The logic ATCTL is a convenient logic to specify properties with actions and real-time. It is intended as a property language for Lightweight UML models [12], which consist mainly of simplified class diagrams and statecharts. ATCTL combines two known extensions of CTL, namely ACTL and TCTL. The reas...

This study examines the effects of age, cognitive resources, and task familiarity on planning performance. Fifty-two young and 52 old adults completed one of two errand-planning tasks. The tasks were matched for structure, difficulty, and format, but differed in content, such that one planning task required planning a real-world shopping tour whereas the other involved planning an unfamiliar sp...

In this paper a new quantity for real tensors, the sign-real spectral radius, is defined and investigated. Various characterizations, bounds and some properties are derived. In certain aspects our quantity shows similar behavior to the spectral radius of a nonnegative tensor. In fact, we generalize the Perron Frobenius theorem for nonnegative tensors to the class of real tensors.

Despite an increasing enterprise adoption of IPbased real-time communication systems, large and distributed enterprises have not yet fully realized the benefits of such deployments. Our work explores the architectural challenges and security concerns of a fully IP-based real-time communication infrastructure in such large, multi-site, multivendor enterprises. In this paper, we propose a novel h...

Let V be a finite dimensional complex vector space and W ⊆ GL(V ) be a finite complex reflection group. Let V reg be the complement in V of the reflecting hyperplanes. We prove that V reg is a K(π, 1) space. This was predicted by a classical conjecture, originally stated by Brieskorn for complexified real reflection groups. The complexified real case follows from a theorem of Deligne and, after...

This paper presents a real time force sensing instrument that is designed for human gait analysis purposes. It is capable of recording and monitoring ground reaction forces exerted by human foot during various activities such as walking, running and jumping in real time. In overall, force sensing mat mainly consists of three elements: the force sensing mat, signal conditioning circuit and data ...

Exploring further the connection between exponentiation on real closed fields and the existence of an integer part modelling strong fragments of arithmetic, we demonstrate that each model of true arithmetic is an integer part of an exponential real closed field that is elementary equivalent to the reals with exponentiation and that each model of Peano arithmetic is an integer part of a real clo...

This paper introduces the major components of, and standards associated with, the Web services architecture. The different roles associated with the Web services architecture and the programming stack for Web services are described. The architectural elements of Web services are then related to a real-world business scenario in order to illustrate how the Web services approach helps solve real ...

Recommended by Stéphane Louboutin Two kinds of series representations, referred to as the Engel series and the Cohen-Egyptian fraction expansions, of elements in two different fields, namely, the real number and the discrete-valued non-archimedean fields are constructed. Both representations are shown to be identical in all cases except the case of real rational numbers.