Finite-State Transducers (FSTs) are a popular tool for modeling paired input-output sequences, and have numerous applications in real-world problems. Most training algorithms for learning FSTs rely on gradient-based or EM optimizations which can be computationally expensive and suffer from local optima issues. Recently, Hsu et al. [13] proposed a spectral method for learning Hidden Markov Model...

The introduction of regulations such as the Sarbanes-Oxley act requires companies to ensure that appropriate controls are implemented in their business applications. Implementing and validating compliance measures in ‘agile’ companies is time consuming, costly, errorprone and a maintenance-intensive task. This paper presents an approach towards dynamically adapting a Service Oriented Architectu...

Business regulations on enterprise applications cover both infrastructure and orchestration levels of the SOA environment. Thus, for a correct and efficient enforcement of such requirements, full integration among different enforcement middleware is necessary. Based on previous work [1], we make a comparison between enforcement capabilities at business and infrastructure level. Our contribution...

Service-Oriented architectures and Service-Oriented Computing are the most recent approaches aiming at facilitating the design and development of applications on distributed systems. The primary goal of this paper is to investigate how the construction of mobile services can benefit from the Service-Oriented paradigm. The paper provides an elucidation of the ServiceOriented architecture. A gene...

Asian eyelids are characteristically puffy, with a fold, and have bulging of the orbital fat septum. Moreover, aging process, septum skin lose elasticity atrophy proceeds, thus resulting in dermatochalasis sunken eyelid. We introduce modified technique infrabrow excision septo-myocutaneous flap repositioning. An upper incision was made along lower margin eyebrow placement decided according to a...

Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design methodology should be grounded on proper mathematical foundations, specific service-oriented principles, concepts and patterns. This paper contributes to the above goal proposing a lightweight, but complete, mathematical framewo...

The development of composite Web services is still not as simple as the original vision indicated. Currently, the designer of a composite service needs to consider many different design aspects at once. In this paper, we propose a modeling methodology based on UML which separates between the four concerns of structure, transactions, workflow, and security, each of which can be modeled by differ...

For the generic specification of protocols, goals, or workflows, many approaches to agentoriented modeling provide a concept of role. Roles abstract from the concrete agents involved in an interaction. They provide means for the evolution of agents and serve as components of agent design. Despite the wide-spread usage of roles in agent-oriented modeling, a systematic analysis of the different a...

This paper describes a proposal for the creation of a UML profile oriented to the intelligent tutoring systems project. In this paper we shall describe the proposed profile as well as its application into the modeling of the AMEA intelligent tutoring system.