Search results for "computer.internet_protocol"
showing 10 items of 168 documents
XML Enabled Metamodeling and Tools for Cooperative Information Systems
2001
The development of tools to support semantic resolution is a key issue in the design of heterogeneous interoperable information systems. This paper presents a methodology and a data model translator toolkit, called X-TIME, for the design and management of interoperable information systems. X-TIME combines a metamodelling approach and XML features to provide support for automated design of wrappers or semantic reconciliators. It is a flexible semantics oriented approach that takes into account several important characteristics of interoperable information systems, including extensibility and composability. Extensibility requires a translation scheme that can easily integrate new data models.…
Automated Soil Moisture Monitoring Wireless Sensor Network for Long-Term Cal/Val Applications
2012
The design and development of a wireless sensor network for soil moisture measurement in an unlevelled 10 km × 10 km area, is described. It was specifically deployed for the characterization of a reference area, in campaigns of calibration and validation of the space mission SMOS (Soil Moisture and Ocean Salinity), but the system is easily extensible to monitor other climatic or environmental variables, as well as to other regions of ecological interest. The network consists of a number of automatic measurement stations, strategically placed following soil homogeneity and land uses criteria. Every station includes acquisition, conditioning and communication systems. The electronics are batt…
PARSI
2012
A usual target of automatic assessment in CS education has been a computer program or some other software engineering product. In this paper, we describe the 'PARSI' tool that is used for the automatic assessment of stylistic and technical correctness of office documents and some basic IT skills such as email netiquette and email lists usage. The PARSI tool enables us to run a highly populated course with only one teacher, and investigate how we could make such a course a flexible learning experience where learners take an active role.
MIME: A Mixed-Space Collaborative System with Three Immersion Levels and Multiple Users
2018
Shared spaces for remote collaboration are nowadays possible by considering a variety of users, devices, immersion systems, interaction capabilities, navigation paradigms, etc. There is a substantial amount of research done in this line, proposing different solutions. However, still a more general solution that considers the heterogeneity of the involved actors/items is lacking. In this paper, we present MIME, a mixed-space tri-collaborative system. Differently from other mixed-space systems, MIME considers three different types of users (in different locations) according to the level of immersion in the system, who can interact simultaneously – what we call a tri-collaboration. For the thr…
Immediate effects of wearing knee length socks differing in compression level on postural regulation in community-dwelling, healthy, elderly men and …
2018
Background Stimulation of lower limbs’ cutaneous receptors and mechanoreceptors through compression garments could potentially increase somatosensory system efficiency and aid postural regulation in elderly individuals. Research question This study examined immediate effects of wearing knee length socks (KLS) of various compression levels on somatosensory function in community-dwelling healthy elderly men and women during a double-limb standing, balancing task. Methods A total of forty-six elderly participants (Male = 23), aged between 65 and 84 years old, randomly selected from the Singapore community-dwelling, healthy population. Three treatment interventions (wearing clinical compression…
A Scratch-based Graphical Policy Editor for XACML
2015
This paper proposes a policy-maker-friendly editor for the extensible Access Control Markup Language (XACML) based on the programming language Scratch. Scratch is a blocks-based programming language designed for teaching children programming, which allows users to build programs like a puzzle. We take this concept one step further with an XACML policy editor based on the graphic programming elements of Scratch implemented in Smalltalk. This allows for aiding the user on how to build policies by grouping blocks and operators that fit together and also indicating which blocks that will stick together. It simplifies building the XACML policies while still having an XACML “feel” of the graphic …
Research Regarding the Influence of Raw Material and Knitted Fabric Geometry on the Tensile Strength and Breaking Elongation
2016
Abstract The main purpose of this research paper is to increase the performance of knitting process during socks manufacturing by choosing the right knitted fabric geometry and raw material. On the other side, tests results show the wear resistance regarding mechanical properties like tensile strength and breaking elongation of knitted fabrics for socks. To obtain samples knitted fabric were used several types of some classic yarns, which already use to obtain socks organic also another type of yarns less used: cotton, organic cotton, bamboo viscose, soy + cotton, Tencel. From these yarns the following knitted fabric geometry were obtained: plated single jersey, plated ribb 4:2 and plated p…
Integrated Domain Model for Digital Rights Management
2004
Digital Rights Management (DRM) is an issue of controlling and managing digital rights over intellectual property. It has recently broadened its scope from being merely a content protection concern to description, identification, trading, protection, monitoring and tracking of rights over tangible or intangible assets. In our study we found out an essential problem of the domain: lack of models on an appropriate level of abstraction needed to support research and system development. Modelling, identifying and describing the core entities enable the rights management functionalities. This chapter contributes in recognizing the principal entities and providing detailed description on current …
Implementing an ATL model checker tool using relational algebra concepts
2014
Alternating-Time Temporal Logic (ATL) is a branching-time temporal logic that naturally describes computations of open systems. An open system interacts with its environment and its behavior depends on the state of the system as well as the behavior of the environment. ATL model-checking is a well-established technique for verifying that a formal model representing such a system satisfies a given property. In this paper we describe a new interactive model checker environment based on algebraic approach. Our tool is implemented in client-server paradigm. The client part allows an interactive construction of ATL models represented by concurrent game structures as directed multi-graphs. The se…
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…