Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (23)
- Databases and Information Systems (22)
- Computer Engineering (19)
- Theory and Algorithms (17)
- Programming Languages and Compilers (16)
-
- Graphics and Human Computer Interfaces (11)
- Other Computer Sciences (11)
- Systems Architecture (10)
- Artificial Intelligence and Robotics (7)
- Information Security (7)
- Business (6)
- Education (6)
- OS and Networks (5)
- Computer and Systems Architecture (4)
- Life Sciences (4)
- Statistics and Probability (4)
- Communication (3)
- Hardware Systems (3)
- Higher Education (3)
- Management Information Systems (3)
- Medicine and Health Sciences (3)
- Numerical Analysis and Scientific Computing (3)
- Operations Research, Systems Engineering and Industrial Engineering (3)
- Social and Behavioral Sciences (3)
- Agricultural Science (2)
- Applied Statistics (2)
- Electrical and Computer Engineering (2)
- Institution
-
- Singapore Management University (107)
- California Polytechnic State University, San Luis Obispo (9)
- Western University (9)
- University of Nebraska - Lincoln (4)
- Edith Cowan University (3)
-
- University of Texas at El Paso (3)
- Bridgewater College (2)
- Claremont Colleges (2)
- East Tennessee State University (2)
- Minnesota State University, Mankato (2)
- Purdue University (2)
- San Jose State University (2)
- University of Dayton (2)
- University of North Florida (2)
- Western Kentucky University (2)
- Boise State University (1)
- Bowling Green State University (1)
- Columbus State University (1)
- DePaul University (1)
- Florida Institute of Technology (1)
- Kennesaw State University (1)
- Macalester College (1)
- Marquette University (1)
- Montana Tech Library (1)
- Old Dominion University (1)
- The University of Southern Mississippi (1)
- University of Arkansas, Fayetteville (1)
- University of Kentucky (1)
- University of Minnesota Morris Digital Well (1)
- University of New Mexico (1)
- Keyword
-
- Android (7)
- Bug Localization (4)
- Crowdsourcing (4)
- Model Check (4)
- Human action recognition (3)
-
- Mobile applications (3)
- Mobile computing (3)
- Mobile sensing (3)
- Service Composition (3)
- Software maintenance (3)
- ARM (2)
- Application (2)
- Bag-of-words (2)
- Big Data Analytics (2)
- Bug localization (2)
- Bugzilla (2)
- Clustering (2)
- Color (2)
- Context monitoring (2)
- Data mining (2)
- Game-based learning (2)
- Genetic Algorithm (2)
- IOS (2)
- Incentive mechanism (2)
- Indoor localization (2)
- Issue Reports (2)
- Localization (2)
- Location tracking (2)
- Machine learning (2)
- Markov Decision Process (2)
- Publication
-
- Research Collection School Of Computing and Information Systems (105)
- Electrical and Computer Engineering Publications (9)
- Computer Engineering (4)
- Departmental Technical Reports (CS) (3)
- Research outputs 2014 to 2021 (3)
-
- CMC Senior Theses (2)
- Computer Science Faculty Publications (2)
- Computer Science and Software Engineering (2)
- School of Computing: Dissertations, Theses, and Student Research (2)
- Senior Seminars (2)
- The Summer Undergraduate Research Fellowship (SURF) Symposium (2)
- Theses and Dissertations (2)
- UNF Graduate Theses and Dissertations (2)
- Undergraduate Honors Theses (2)
- Boise State University Theses and Dissertations (1)
- Branch Mathematics and Statistics Faculty and Staff Publications (1)
- Collaborative Agent Design (CAD) Research Center (1)
- Computer Science & Software Engineering (1)
- Computer Science Theses & Dissertations (1)
- DePaul Magazine (1)
- Dissertations (1)
- Dissertations and Theses Collection (Open Access) (1)
- Dissertations, Theses and Capstone Projects (Full IR Collection) (1)
- Faculty Publications (1)
- Graduate Theses and Dissertations (1)
- Honors Projects (1)
- Honors Theses (1)
- Joint Fire Science Program Digests (1)
- Journal of Undergraduate Research at Minnesota State University, Mankato (1)
- Master's Projects (1)
- Publication Type
Articles 121 - 150 of 170
Full-Text Articles in Software Engineering
The Role Of App Development And Mobile Computing In Motivating The Secondary Mathematics Classroom, Jennifer Lee Marquez
The Role Of App Development And Mobile Computing In Motivating The Secondary Mathematics Classroom, Jennifer Lee Marquez
Theses and Dissertations - UTB/UTPA
An increasing amount of high school students are interested in developing their own mobile application. Incorporating mobile development into the classroom can increase student engagement in the fields of science, technology, engineering, and mathematics. In this paper I present a study done with a group of sophomore level students who created their own mathematics apps with no programming experience. The aim of this study is to assess the knowledge gained and motivational appeal of secondary mathematics students taught basic state of Texas exam concepts with the use of the proposed mobile development labs. Students in this study used algebraic and …
Are Timed Automata Bad For A Specification Language? Language Inclusion Checking For Timed Automata, Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li
Are Timed Automata Bad For A Specification Language? Language Inclusion Checking For Timed Automata, Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li
Research Collection School Of Computing and Information Systems
Given a timed automaton P modeling an implementation and a timed automaton S as a specification, language inclusion checking is to decide whether the language of P is a subset of that of S. It is known that this problem is undecidable and “this result is an obstacle in using timed automata as a specification language” [2]. This undecidability result, however, does not imply that all timed automata are bad for specification. In this work, we propose a zone-based semi-algorithm for language inclusion checking, which implements simulation reduction based on Anti-Chain and LU-simulation. Though it is not guaranteed to terminate, …
Cimloc: A Crowdsourcing Indoor Digital Map Construction System For Localization, Xiuming Zhang, Yunye Jin, Hwee Xian Tan, Wee-Seng Soh
Cimloc: A Crowdsourcing Indoor Digital Map Construction System For Localization, Xiuming Zhang, Yunye Jin, Hwee Xian Tan, Wee-Seng Soh
Research Collection School Of Computing and Information Systems
Indoor maps, as crucial prerequisites for many indoor localization and navigation systems, are sometimes inaccessible. The absence of an indoor map database and the high cost of manually constructing an indoor map produce a need for an inexpensive and efficient way to dynamically construct indoor maps. The ubiquity of sensor-equipped mobile devices enables us to crowdsource user trajectories, out of which indoor digital maps can be automatically constructed at low costs. Similar to other crowdsourced data, the collected user trajectories are often noisy and of low fidelity, which poses a challenge to the accurate map construction. To alleviate this problem, …
A Trust-Aware System For Personalized User Recommendations In Social Networks, Magdalini Eirinaki, Malamati Louta, Iraklis Varlamis
A Trust-Aware System For Personalized User Recommendations In Social Networks, Magdalini Eirinaki, Malamati Louta, Iraklis Varlamis
Faculty Publications
Social network analysis has recently gained a lot of interest because of the advent and the increasing popularity of social media, such as blogs, social networking applications, microblogging, or customer review sites. In this environment, trust is becoming an essential quality among user interactions and the recommendation for useful content and trustful users is crucial for all the members of the network. In this paper, we introduce a framework for handling trust in social networks, which is based on a reputation mechanism that captures the implicit and explicit connections between the network members, analyzes the semantics and dynamics of these …
Teaching Analysis Of Software Designs Using Dependency Graph, Kevin Steppe
Teaching Analysis Of Software Designs Using Dependency Graph, Kevin Steppe
Research Collection School Of Computing and Information Systems
We present the use of a new type of dependency graph to aid students in analyzing the modifiability of software designs. Though a variety of software design concepts, such as information hiding, separation of concerns and patterns are taught to undergraduate students, they often have difficulty applying these concepts to the analysis of designs and particularly to comparing designs, perhaps due to the subjective nature of these concepts. Our new technique complements design structure matrix and ‘uses’ techniques to handle asymmetric dependency impacts and provide a deterministic approach to comparing alternative designs. A major goal of this technique was for …
Where Am I? : Studying Users’ Indoor Navigation Location Needs, Kartik Muralidharan, Archan Misra, Rajesh Krishna Balan
Where Am I? : Studying Users’ Indoor Navigation Location Needs, Kartik Muralidharan, Archan Misra, Rajesh Krishna Balan
Research Collection School Of Computing and Information Systems
Location has emerged as the single-most important context whilst building pervasive mobile applications. Several mobile applications have appeared that use location to provide a host of services such as location-specific advertising as well as navigation. As a result, the key challenge of positioning techniques has been to provide the most precise location of the user (device) and much effort has been put in computing this fine grained location in indoor environments. This is under the assumption that highly accurate location is crucial for all indoor services. To understand the location accuracy, that should prove sufficient, for users to navigate to …
Machine Learning In Wireless Sensor Networks: Algorithms, Strategies, And Applications, Mohammad Abu Alsheikh, Shaowei Lin, Dusit Niyato, Hwee-Pink Tan
Machine Learning In Wireless Sensor Networks: Algorithms, Strategies, And Applications, Mohammad Abu Alsheikh, Shaowei Lin, Dusit Niyato, Hwee-Pink Tan
Research Collection School Of Computing and Information Systems
Wireless sensor networks (WSNs) monitor dynamic environments that change rapidly over time. This dynamic behavior is either caused by external factors or initiated by the system designers themselves. To adapt to such conditions, sensor networks often adopt machine learning techniques to eliminate the need for unnecessary redesign. Machine learning also inspires many practical solutions that maximize resource utilization and prolong the lifespan of the network. In this paper, we present an extensive literature review over the period 2002-2013 of machine learning methods that were used to address common issues in WSNs. The advantages and disadvantages of each proposed algorithm are …
Semantic Privacy Policies For Service Description And Discovery In Service-Oriented Architecture, Diego Z. Garcia, Miriam A M Capretz, M. Beatriz F. Toledo
Semantic Privacy Policies For Service Description And Discovery In Service-Oriented Architecture, Diego Z. Garcia, Miriam A M Capretz, M. Beatriz F. Toledo
Electrical and Computer Engineering Publications
Privacy preservation in Service-Oriented Architecture (SOA) is an open problem. This paper focuses on the areas of service description and discovery. The problems in these areas are that currently it is not possible to describe how a service provider deals with information received from a service consumer as well as discover a service that satisfies the privacy preferences of a consumer. There is currently no framework which offers a solution that supports a rich description of privacy policies and their integration in the process of service discovery. Thus, the main goal of this paper is to propose a privacy preservation …
Clonepedia: Summarizing Code Clones By Common Syntactic Context For Software Maintenance, Yun Lin, Zhenchang Xing, Xin Peng, Yang Liu, Jun Sun, Wenyun Zhao, Jin Song Dong
Clonepedia: Summarizing Code Clones By Common Syntactic Context For Software Maintenance, Yun Lin, Zhenchang Xing, Xin Peng, Yang Liu, Jun Sun, Wenyun Zhao, Jin Song Dong
Research Collection School Of Computing and Information Systems
Code clones have to be made explicit and be managed in software maintenance. Researchers have developed many clone detection tools to detect and analyze code clones in software systems. These tools report code clones as similar code fragments in source files. However, clone-related maintenance tasks (e.g., refactorings) often involve a group of code clones appearing in larger syntactic context (e.g., code clones in sibling classes or code clones calling similar methods). Given a list of low-level code-fragment clones, developers have to manually summarize from bottom up low-level code clones that are relevant to the syntactic context of a maintenance task. …
Extending Ocl To Better Express Uml Qualified Associations, Alla Dove, Aditi Barua, Yoonsik Cheon
Extending Ocl To Better Express Uml Qualified Associations, Alla Dove, Aditi Barua, Yoonsik Cheon
Departmental Technical Reports (CS)
A qualified association in the Unified Modeling Language (UML) is an association that allows one to restrict the objects referred in an association using a key called a qualifier. A qualified association can appear in a constraint written in the Object Constraint Language (OCL) to specify a precise UML model. However, the OCL notation fails to provide appropriate support for expressing certain types of constraints written using qualified associations. In this paper we first describe a deficiency of OCL in expressing qualified associations and then propose a small extension to OCL to make it more expressive. The key idea of …
Addressing User Requirements In Open Source Software: The Role Of Online Forums, Arif Raza, Luiz Fernando Capretz
Addressing User Requirements In Open Source Software: The Role Of Online Forums, Arif Raza, Luiz Fernando Capretz
Electrical and Computer Engineering Publications
User satisfaction has always been important in the success of software, regardless of whether it is closed and proprietary or open source software (OSS). OSS users are geographically distributed and include technical as well as novice users. However, it is generally believed that if OSS was more usable, its popularity would increase tremendously. Hence, users and their requirements need to be addressed in the priorities of an OSS environment. Online public forums are a major medium of communication for the OSS community. The research model of this work studies the relationship between user requirements in open source software and online …
A Comparative Study On The Effectiveness Of Part-Of-Speech Tagging Techniques On Bug Reports, Yuan Tian, David Lo
A Comparative Study On The Effectiveness Of Part-Of-Speech Tagging Techniques On Bug Reports, Yuan Tian, David Lo
Research Collection School Of Computing and Information Systems
Many software artifacts are written in natural language or contain substantial amount of natural language contents. Thus these artifacts could be analyzed using text analysis techniques from the natural language processing (NLP) community, e.g., the part-of-speech (POS) tagging technique that assigns POS tags (e.g., verb, noun, etc.) to words in a sentence. In the literature, several studies have already applied POS tagging technique on software artifacts to recover important words in them, which are then used for automating various tasks, e.g., locating buggy files for a given bug report, etc. There are many POS tagging techniques proposed and they are …
Midiflapper: A Leap Motion Midi Controller, Mark M. Henry
Midiflapper: A Leap Motion Midi Controller, Mark M. Henry
Computer Science and Software Engineering
An application called MIDIFlapper was developed that translates data from the Leap Motion, an NUI device, into MIDI data suitable for use by a contemporary digital audio workstation. This allows electronic musicians to use the Leap Motion for musical creation and live performance.
Theorems About Quadrilaterals And Conics, Dorde Baralic, Branko Grbic, Dorde Zikelic
Theorems About Quadrilaterals And Conics, Dorde Baralic, Branko Grbic, Dorde Zikelic
Research Collection School Of Computing and Information Systems
We study quadrilaterals inscribed and circumscribed about conics and prove interesting theorems. Theorems are discovered by experimenting with dynamical geometry software. The Poncelet theorem for quadrilaterals is proved by elementary means together with Poncelet's grid property.
An Active Resource Orchestration Framework For Pan-Scale Sensor-Rich Environments, Youngki Lee, Chulhong Min, Younghyun Ju, Seungwoo Kang, Yunseok Rhee, Junehwa Song
An Active Resource Orchestration Framework For Pan-Scale Sensor-Rich Environments, Youngki Lee, Chulhong Min, Younghyun Ju, Seungwoo Kang, Yunseok Rhee, Junehwa Song
Research Collection School Of Computing and Information Systems
In this paper, we present Orchestrator, an active resource orchestration framework for a PAN-scale sensor-rich mobile computing platform. Incorporating diverse sensing devices connected to a mobile phone, the platform will serve as a common base to accommodate personal context-aware applications. A major challenge for the platform is to simultaneously support concurrent applications requiring continuous and complex context processing, with highly scarce and dynamic resources. To address the challenge, we build Orchestrator, which actively coordinates applications' resource uses over the distributed mobile and sensor devices. As a key approach, it adopts an active resource use orchestration, which prepares multiple alternative plans …
Towards More Accurate Multi-Label Software Behavior Learning, Xin Xia, Feng Yang, David Lo, Zhenyu Chen, Xinyu Wang
Towards More Accurate Multi-Label Software Behavior Learning, Xin Xia, Feng Yang, David Lo, Zhenyu Chen, Xinyu Wang
Research Collection School Of Computing and Information Systems
In a modern software system, when a program fails, a crash report which contains an execution trace would be sent to the software vendor for diagnosis. A crash report which corresponds to a failure could be caused by multiple types of faults simultaneously. Many large companies such as Baidu organize a team to analyze these failures, and classify them into multiple labels (i.e., multiple types of faults). However, it would be time-consuming and difficult for developers to manually analyze these failures and come out with appropriate fault labels. In this paper, we automatically classify a failure into multiple types of …
Automated Construction Of A Software-Specific Word Similarity Database, Yuan Tian, David Lo, Julia Lawall
Automated Construction Of A Software-Specific Word Similarity Database, Yuan Tian, David Lo, Julia Lawall
Research Collection School Of Computing and Information Systems
Many automated software engineering approaches, including code search, bug report categorization, and duplicate bug report detection, measure similarities between two documents by analyzing natural language contents. Often different words are used to express the same meaning and thus measuring similarities using exact matching of words is insufficient. To solve this problem, past studies have shown the need to measure the similarities between pairs of words. To meet this need, the natural language processing community has built WordNet which is a manually constructed lexical database that records semantic relations among words and can be used to measure how similar two words …
Sinabro: Opportunistic And Unobtrusive Mobile Ecg Monitoring System, Seungwoo Kang, Sungjun Kwon, Sangwon Seo, Chungkuk Yoo, Kwangsuk Park, Junehwa Song, Youngki Lee
Sinabro: Opportunistic And Unobtrusive Mobile Ecg Monitoring System, Seungwoo Kang, Sungjun Kwon, Sangwon Seo, Chungkuk Yoo, Kwangsuk Park, Junehwa Song, Youngki Lee
Research Collection School Of Computing and Information Systems
In this paper, we propose Sinabro, an opportunistic and unobtrusive mobile electrocardiogram (ECG) monitoring system that monitors the user’s ECG opportunistically during daily smartphone use. Daily ECG monitoring will open up an unprecedented opportunity for pervasive healthcare applications. It will enable the daily detection and prevention of heart problems and also allow inferences about stress, emotion, and even sleep quality. Despite its huge potential, daily ECG monitoring still has not become reality due to its obtrusiveness. In this paper, we first study the potential opportunity to capture ECGs from daily use of smartphones, without requiring the user’s explicit attention. Based …
Extended Comprehensive Study Of Association Measures For Fault Localization, Lucia Lucia, David Lo, Lingxiao Jiang, Ferdian Thung, Aditya Budi
Extended Comprehensive Study Of Association Measures For Fault Localization, Lucia Lucia, David Lo, Lingxiao Jiang, Ferdian Thung, Aditya Budi
Research Collection School Of Computing and Information Systems
Spectrum-based fault localization is a promising approach to automatically locate root causes of failures quickly. Two well-known spectrum-based fault localization techniques, Tarantula and Ochiai, measure how likely a program element is a root cause of failures based on profiles of correct and failed program executions. These techniques are conceptually similar to association measures that have been proposed in statistics, data mining, and have been utilized to quantify the relationship strength between two variables of interest (e.g., the use of a medicine and the cure rate of a disease). In this paper, we view fault localization as a measurement of the …
Barometric Phone Sensors: More Hype Than Hope!, Kartik Muralidharan, Azeem Javed Khan, Archan Misra, Rajesh Krishna Balan, Sharad Agarwal
Barometric Phone Sensors: More Hype Than Hope!, Kartik Muralidharan, Azeem Javed Khan, Archan Misra, Rajesh Krishna Balan, Sharad Agarwal
Research Collection School Of Computing and Information Systems
The inclusion of the barometer sensor in smartphones signaled an opportunity for aiding indoor localization efforts. In this paper, we therefore investigate a possible use of the barometer sensor for detecting vertically oriented activities. We start by showing the accuracies of various commodity measurement devices and the challenges they bring forth. We then show how to use the barometer values to build a predictor that can detect floor changes and the mode (elevator, escalator, or stairs) used to change floors with nearly 100% accuracy. We validate these properties with data collected using 3 different measurement devices from 7 different buildings. …
An Empirical Study Of Bug Report Field Reassignment, Xin Xia, David Lo, Ming Wen, Shihab Emad, Bo Zhou
An Empirical Study Of Bug Report Field Reassignment, Xin Xia, David Lo, Ming Wen, Shihab Emad, Bo Zhou
Research Collection School Of Computing and Information Systems
A bug report contains many fields, such as product, component, severity, priority, fixer, operating system (OS), platform, etc., which provide important information for the bug triaging and fixing process. It is important to make sure that bug information is correct since previous studies showed that the wrong assignment of bug report fields could increase the bug fixing time, and even delay the delivery of the software. In this paper, we perform an empirical study on bug report field reassignments in open-source software projects. To better understand why bug report fields are reassigned, we manually collect 99 recent bug reports that …
Livelabs: Building An In-Situ Real-Time Mobile Experimentation Testbed, Rajesh Krishna Balan, Archan Misra, Youngki Lee
Livelabs: Building An In-Situ Real-Time Mobile Experimentation Testbed, Rajesh Krishna Balan, Archan Misra, Youngki Lee
Research Collection School Of Computing and Information Systems
We present LiveLabs, a mobile experimentation testbed that is currently deployed across our university campus with further deployments at a large shopping mall, a commercial airport, and a resort island soon to follow. The key goal of LiveLabs is to allow in-situ real-time experimentation of mobile applications and services that require context-specific triggers with real participants on their actual smart phones. We describe how LiveLabs works, and then explain the novel R&D required to realise it. We end with a descriptionof the current LiveLabs status (> 700 active participants to date) as well as present some key lessons learned.
Los And Nlos Classification For Underwater Acoustic Localization, Roee Diamant, Hwee-Pink Tan, Lutz Lampe
Los And Nlos Classification For Underwater Acoustic Localization, Roee Diamant, Hwee-Pink Tan, Lutz Lampe
Research Collection School Of Computing and Information Systems
The low sound speed in water makes propagation delay (PD)-based range estimation attractive for underwater acoustic localization (UWAL). However, due to the long channel impulse response and the existence of reflectors, PD-based UWAL suffers from significant degradation when PD measurements of nonline-of-sight (NLOS) communication links are falsely identified as line-of-sight (LOS). In this paper, we utilize expected variation of PD measurements due to mobility of nodes and present an algorithm to classify the former into LOS and NLOS links. First, by comparing signal strength-based and PD-based range measurements, we identify object-related NLOS (ONLOS) links, where signals are reflected from objects …
Parameter Synthesis For Hierarchical Concurrent Real-Time Systems, Étienne André, Yang Liu, Jun Sun, Jin Song Dong
Parameter Synthesis For Hierarchical Concurrent Real-Time Systems, Étienne André, Yang Liu, Jun Sun, Jin Song Dong
Research Collection School Of Computing and Information Systems
Modeling and verifying complex real-time systems, involving timing delays, are notoriously difficult problems. Checking the correctness of a system for one particular value for each delay does not give any information for other values. It is thus interesting to reason parametrically, by considering that the delays are parameters (unknown constants) and synthesizing a constraint guaranteeing a correct behavior. We present here Parametric Stateful Timed Communicating Sequential Processes, a language capable of specifying and verifying parametric hierarchical real-time systems with complex data structures. Although we prove that the synthesis is undecidable in general, we present several semi-algorithms for efficient parameter synthesis, …
Towards Verification Of Computation Orchestration, Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang
Towards Verification Of Computation Orchestration, Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang
Research Collection School Of Computing and Information Systems
Recently, a promising programming model called Orc has been proposed to support a structured way of orchestrating distributed Web Services. Orc is intuitive because it offers concise constructors to manage concurrent communication, time-outs, priorities, failure of Web Services or communication and so forth. The semantics of Orc is precisely defined. However, there is no automatic verification tool available to verify critical properties against Orc programs. Our goal is to verify the orchestration programs (written in Orc language) which invoke web services to achieve certain goals. To investigate this problem and build useful tools, we explore in two directions. Firstly, we …
Model Checking Approach To Automated Planning, Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun
Model Checking Approach To Automated Planning, Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun
Research Collection School Of Computing and Information Systems
Model checking provides a way to automatically explore the state space of a finite state system based on desired properties, whereas planning is to produce a sequence of actions that leads from the initial state to the target goal states. Previous research in this field proposed a number of approaches for connecting model checking with planning problem solving. In this paper, we investigate the feasibility of using an established model checking framework, Process Analysis Toolkit (PAT), as a planning solution provider for upper layer applications. To achieve this, we first carry out a number of experiments on different model checking …
Towards Formal Modelling And Verification Of Pervasive Computing Systems, Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari
Towards Formal Modelling And Verification Of Pervasive Computing Systems, Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari
Research Collection School Of Computing and Information Systems
Smart systems equipped with emerging pervasive computing technologies enable people with limitations to live in their homes independently. However, lack of guarantees for correctness prevent such system to be widely used. Analysing the system with regard to correctness requirements is a challenging task due to the complexity of the system and its various unpredictable faults. In this work, we propose to use formal methods to analyse pervasive computing (PvC) systems. Firstly, a formal modelling framework is proposed to cover the main characteristics of such systems (e.g., context-awareness, concurrent communications, layered architectures). Secondly, we identify the safety requirements (e.g., free of …
Learning Assumptions For Compositional Verification Of Timed Systems, Shang-Wei Lin Lin, Yang Liu, Jun Sun, Jun Sun
Learning Assumptions For Compositional Verification Of Timed Systems, Shang-Wei Lin Lin, Yang Liu, Jun Sun, Jun Sun
Research Collection School Of Computing and Information Systems
Compositional techniques such as assume-guarantee reasoning (AGR) can help to alleviate the state space explosion problem associated with model checking. However, compositional verification is difficult to be automated, especially for timed systems, because constructing appropriate assumptions for AGR usually requires human creativity and experience. To automate compositional verification of timed systems, we propose a compositional verification framework using a learning algorithm for automatic construction of timed assumptions for AGR. We prove the correctness and termination of the proposed learning-based framework, and experimental results show that our method performs significantly better than traditional monolithic timed model checking.
An Active Learning Module For An Introduction To Software Engineering Course, A. Frank Ackerman, Ph.D.
An Active Learning Module For An Introduction To Software Engineering Course, A. Frank Ackerman, Ph.D.
Computer Science & Software Engineering
Many schools do not begin to introduce college students to software engineering until they have had at least one semester of programming. Since software engineering is a large, complex, and abstract subject it is difficult to construct active learning exercises that build on the students’ elementary knowledge of programming and still teach basic software engineering principles. It is also the case that beginning students typically know how to construct small programs, but they have little experience with the techniques necessary to produce reliable and long-term maintainable modules. I have addressed these two concerns by defining a local standard (Montana Tech …
Challenges For Mapreduce In Big Data, Katarina Grolinger, Michael Hayes, Wilson A. Higashino, Alexandra L'Heureux, David S. Allison, Miriam A.M. Capretz
Challenges For Mapreduce In Big Data, Katarina Grolinger, Michael Hayes, Wilson A. Higashino, Alexandra L'Heureux, David S. Allison, Miriam A.M. Capretz
Electrical and Computer Engineering Publications
In the Big Data community, MapReduce has been seen as one of the key enabling approaches for meeting continuously increasing demands on computing resources imposed by massive data sets. The reason for this is the high scalability of the MapReduce paradigm which allows for massively parallel and distributed execution over a large number of computing nodes. This paper identifies MapReduce issues and challenges in handling Big Data with the objective of providing an overview of the field, facilitating better planning and management of Big Data projects, and identifying opportunities for future research in this field. The identified challenges are grouped …