An important step towards seamless heterogeneous systems is the integration between WLAN and 3G cellular systems. Their interoperability has been frequently discussed in literature, however, there is still room for re...
详细信息
This paper describes different proposals made at UNED, for post-graduated students, at the area of IT Services Management and specially trying to fill the gap, of paramount importance, of the treatment due in ITIL...
详细信息
Requirements specification should not be concerned only with the software specification, but should also be able to integrate with the organizational models describing the environment in which the system will function...
详细信息
Requirements specification should not be concerned only with the software specification, but should also be able to integrate with the organizational models describing the environment in which the system will function. Agent-oriented conceptual modeling notations such as i* represents an interesting approach for modeling early phase requirements which includes organizational contexts, stakeholder intentions and rationale. Business Process Modeling notations such as BPMN are used to effectively conceptualize and communicate important process characteristics to relevant stakeholders. On the other hand, Unified Modeling Language (UML) is suitable for later phases of requirement capture which usually focus on completeness, consistency, and automated verification of functional requirements for the new system. In this paper, we illustrate the use of a methodology that facilitate and support the combined use of notation for modeling requirement engineering process in a synergistic fashion in a complex project for a large government department. The notations we used were i*, BPMN and UML Use Case.
Parametric search is a useful tool in geometric optimization. Invented by Nimrod Megiddo in 1983, it has been widely used in computational geometry. Unfortunately, this technique has rarely been used in the combinator...
详细信息
Parametric search is a useful tool in geometric optimization. Invented by Nimrod Megiddo in 1983, it has been widely used in computational geometry. Unfortunately, this technique has rarely been used in the combinatorial optimization community in China. In this paper, we introduce parametric search via three new geometric optimization applications.
The Property Specification (Prospec) tool uses patterns and scopes defined by Dwyer et al., to generate formal specifications in Linear Temporal Logic (LTL) and other languages. The workpresented in this paper provide...
The Property Specification (Prospec) tool uses patterns and scopes defined by Dwyer et al., to generate formal specifications in Linear Temporal Logic (LTL) and other languages. The work
presented in this paper provides improved LTL specifications for patterns and scopes over those originally provided by Prospec. This improvement comes in the efficiency of the LTL formulas as measured in terms of the number of states in the Büchi automaton generated for the formula. Minimizing the size of the Büchi automata for an LTL specification provides a significant improvement for model checking softwaresystems using such tools as the highly acclaimed Spin model checker.
Effective and meaningful visualization techniques are quite important for multidimensional DNA microarray gene expression data analysis. Elucidating the cluster properties of these multidimensional data are often comp...
详细信息
This paper explores the role of domestic technologies for addressing social isolation of older people. Despite the increasing use of information and communication technologies, social isolation remains an issue amongs...
详细信息
ISBN:
(纸本)9781450305020
This paper explores the role of domestic technologies for addressing social isolation of older people. Despite the increasing use of information and communication technologies, social isolation remains an issue amongst older people. Assistive technologies address important health needs, but there is a lack of social technologies that adequately deal with social isolation. This paper contributes to knowledge about the everyday life of older people for the purpose of designing appropriate social technology. We present an overview of the findings of a three-stage study-an expert survey, a field study and a design workshop-and describe a set of needs to inform the design of technology for ameliorating the social isolation of older people. Copyright the author(s) and CHISIG.
The prediction of gene function from genome sequences is one of the main issues in Bioinformatics. Most computational approaches are based on the similarity between sequences to infer gene function. However, the avail...
详细信息
There is a need to address the significant gap in our ability to measure and monitor the Key Performance Indicators (KPIs) across service networks. The unprecedented growth in service-based business processes over a s...
详细信息
In order to deliver effective services, providers are being advised to 'innovate' their service delivery systems. Innovation in this context often refers to technology, technique or restructuring improvements....
详细信息
ISBN:
(纸本)9783885792710
In order to deliver effective services, providers are being advised to 'innovate' their service delivery systems. Innovation in this context often refers to technology, technique or restructuring improvements. However, the difficulty is that in the modern organisation, service delivery is dispersed across a complex network of numerous departments and units. There are greater pressures on organisational service systems to deliver a higher quality and more efficient service. Management must attempt to develop a greater understanding of organisational process and where improvements may be made using business process management (BPM). The network approach ultimately makes service innovations more difficult to implement. Thus, the purpose of this study is to investigate how service innovation is managed across a service network. Specifically, we examine the effectiveness of a technique called 'social network analysis' (SNA) in extending business process management to enhance the manageability of network based services. This paper sets out to provide a state of the art literature review on the short fallings of our ability to understand what triggers business value. It examines the effects of our inability to understand the influence of business process behaviour on service innovation. It also provides a conceptual account of how SNA can be a powerful tool for managers to understand organisational network performance and service interaction (e.g. behavioural, functional, and structural).
暂无评论