154,028 research outputs found
Developing a distributed electronic health-record store for India
The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India
Enabling decentral collaborative innovation processes - a web based real time collaboration platform
The main goal of this paper is to define a collaborative innovation process
as well as a supporting tool. It is motivated through the increasing
competition on global markets and the resultant propagation of decentralized
projects with a high demand of innovative collaboration in global contexts. It
bases on a project accomplished by the author group. A detailed literature
review and the action design research methodology of the project led to an
enhanced process model for decentral collaborative innovation processes and a
basic realization of a browser based real time tool to enable these processes.
The initial evaluation in a practical distributed setting has shown that the
created tool is a useful way to support collaborative innovation processes.Comment: multikonferenz wirtschaftsinformati
Teaching and learning in virtual worlds: is it worth the effort?
Educators have been quick to spot the enormous potential afforded by virtual worlds for situated and authentic learning, practising tasks with potentially serious consequences in the real world and for bringing geographically dispersed faculty and students together in the same space (Gee, 2007; Johnson and Levine, 2008). Though this potential has largely been realised, it generally isnât without cost in terms of lack of institutional buy-in, steep learning curves for all participants, and lack of a sound theoretical framework to
support learning activities (Campbell, 2009; Cheal, 2007; Kluge & Riley, 2008). This symposium will explore the affordances and issues associated with teaching and learning in virtual worlds, all the time considering the
question: is it worth the effort
Transforming pre-service teacher curriculum: observation through a TPACK lens
This paper will discuss an international online collaborative learning experience through the lens of the Technological Pedagogical Content Knowledge (TPACK) framework. The teacher knowledge required to effectively provide transformative learning experiences for 21st century learners in a digital world is complex, situated and changing. The discussion looks beyond the opportunity for knowledge development of content, pedagogy and technology as components of TPACK towards the interaction between those three components. Implications for practice are also discussed. In todayâs technology infused classrooms it is within the realms of teacher educators, practising teaching and pre-service teachers explore and address effective practices using technology to enhance learning
Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification
Reliability and trust are fundamental prerequisites for the establishment of functional relationships among peers in a Collaborative Networked Organisation (CNO), especially in the context of Virtual Enterprises where economic benefits can be directly at stake. This paper presents a novel approach towards effective service discovery and selection that is no longer based on informal, ambiguous and potentially unreliable service descriptions, but on formal specifications that can be used to verify and certify the actual Web service implementations. We propose the use of Stream X-machines (SXMs) as a powerful modelling formalism for constructing the behavioural specification of a Web service, for performing verification through the generation of exhaustive test cases, and for performing validation through animation or model checking during service selection
Recommended from our members
Building capacity in climate change policy analysis and negotiation: methods and technologies
Capacity building is often cited as the reason âwe cannot just pour money into developing countriesâ and why so many development projects fail because their design does not address local conditions. It is therefore a key technical and political concept in international development.
Some of the poorest countries in the world are also some of the most vulnerable to the impacts of climate change. Their vulnerability is in part due to a lack of capacity to plan and anticipate the effects of climate change on crops, water resources, urban electricity demand etc. What capacities do these countries lack to deal with climate change? How will they cope? What steps can they take to reduce their vulnerability?
This innovative and high-profile research project was part of a larger project (called C3D) and conducted with non-governmental organisations in Senegal, South Africa and Sri Lanka. The research involved several participatory workshops and a questionnaire to all three research centres
Linking design and manufacturing domains via web-based and enterprise integration technologies
The manufacturing industry faces many challenges such as reducing time-to-market and cutting costs. In order to meet these increasing demands, effective methods are need to support the early product development stages by bridging the gap of communicating early design ideas and the evaluation of manufacturing performance. This paper introduces methods of linking design and manufacturing domains using disparate technologies. The combined technologies include knowledge management supporting for product lifecycle management (PLM) systems, enterprise resource planning (ERP) systems, aggregate process planning systems, workflow management and data exchange formats. A case study has been used to demonstrate the use of these technologies, illustrated by adding manufacturing knowledge to generate alternative early process plan which are in turn used by an ERP system to obtain and optimise a rough-cut capacity plan
Automated Runtime Testing of Web Services
Service-oriented computing (SOC) is a relatively new paradigm for developing software applications through the composition of software units called services. With services, software is no longer owned but offered remotely, within or across organisational borders. Currently, the dominant technology for implementing services is that of Web services. Since service requestors do not usually have access to the implementation source code, from their perspective, services are offered as black boxes. However, requestors need to verify first that provided services are trustworthy and implemented correctly before they are integrated into their own business-critical systems. The verification and testing of remote, third-party services involve unique considerations, since testing must be performed in a blackbox manner and at runtime.
Addressing the aforementioned concerns, the research work described in this thesis investigates the feasibility of testing Web services for functional correctness, especially at runtime. The aim is to introduce rigour and automation to the testing process, so that service requestors can verify Web services with correctness guarantees and with the aid of tools. Thus, formal methods are utilised to specify the functionality of Web services unambiguously, so that they are amenable to automated and systematic testing. The well-studied stream X-machine (SXM) formalism has been selected as suitable for modelling both the dynamic behavior and static data of Web services, while a proven testing method associated with SXMs is used to derive test sets that can verify the correctness of the implementations.
This research concentrates on testing stateful Web services, in which the presence of state makes their behaviour more complex and more difficult to specify and test. The nature of Web service state, its effect on service behaviour, and implications on service modelling and testing, are investigated. In addition, comprehensive techniques are described for deriving a stream X-machine specification of a Web service, and for subsequently testing its implementation for equivalence to the specification. Then, a collaborative approach that makes possible third-party Web service verification and validation is proposed, in which the service provider is required to supply a SXM specification of the service functionality along with the standard WSDL description of its interface. On top of that, techniques are proposed for service providers to include information that ground the abstract SXM specification to the concrete Web service implementation. Having these descriptions available, it is possible to automate at runtime not only test set generation but also test case execution on Web services. A tool has been developed as part of this work, which extends an existing SXM-based testing tool (JSXM). The tool supports the tester activities, consisting of generation of abstract test cases from the SXM specification and their execution on the Web service under test using the supplied grounding information. Practical Web service examples are also used throughout the thesis to demonstrate the proposed techniques
Engaging the 'Xbox generation of learners' in Higher Education
The research project identifies examples of technology used to empower learning of Secondary school pupils that could be used to inform studentsâ engagement in learning with technology in the Higher Education sector.
Research was carried out in five partnership Secondary schools and one associate Secondary school to investigate how pupils learn with technology in lessons and to identify the pedagogy underpinning such learning. Data was collected through individual interviews with pupils, group interviews with members of the schoolsâ councils, lesson observations, interviews with teachers, pupil surveys, teacher surveys, and a case study of a learning event.
In addition, data was collected on studentsâ learning with technology at the university through group interviews with students and student surveys in the School of Education and Professional Development, and through surveys completed by students across various university departments.
University tutors, researchers, academic staff, learning technology advisers, and cross sector partners from the local authority participated in focus group interviews on the challenges facing Higher Education in engaging new generations of students, who have grown up in the digital age, in successful scholarly learning
- âŠ