Open Access. Powered by Scholars. Published by Universities.®

Software Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

2349 Full-Text Articles 2601 Authors 558456 Downloads 105 Institutions

All Articles in Software Engineering

Faceted Search

2349 full-text articles. Page 69 of 77.

Comparison Of Global And Sequential Methods For An Inverse Heat Transfer Problem, Bernard Marcos, Micael Boulet, Abdellah Ousegui, Christine Moresoli 2010 University of Sherbrooke

Comparison Of Global And Sequential Methods For An Inverse Heat Transfer Problem, Bernard Marcos, Micael Boulet, Abdellah Ousegui, Christine Moresoli

Abdellah Ousegui

This paper presents a comparison between global and sequential method to solve inverse 14 problem related to the baking process. The both methods aim to reconstruct the wall 15 temperature profile in the baking oven from the temperature of flux sensor (h-Monitor). 16 The global method solves the adjoint and sensitivity equations to compute the gradient 17 conjugate descent direction. The global method contains regularisation term that modifies 18 the computation of the gradient. The sequential method computes at each time step a 19 quasi-Newton descent direction taking into account a regularisation term. The sequential 20 method may consider one-step ...


Applying Semantic Segment Detection To Enhance Web Page Presentation On The Mobile Internet, Stephen Yang, Jia Zhang, Stella Tsai, Jeff Huang 2010 Carnegie Mellon University, Silicon Valley

Applying Semantic Segment Detection To Enhance Web Page Presentation On The Mobile Internet, Stephen Yang, Jia Zhang, Stella Tsai, Jeff Huang

Jia Zhang

No abstract provided.


Properties For Component Model: The Definition Perspective, Siti Salwah Salim 2010 University of Malaya

Properties For Component Model: The Definition Perspective, Siti Salwah Salim

Siti Salwah Salim Prof. Dr.

The presence of a large number of component models to date should be able to offer software developers a wide variety of component models - which they can easily choose from - for their software development projects. However, the opposite situation is currently observed, where the presence of many component models has caused difficulties in making the selection. Lack of properties or characteristics that can be used as a basis to perform objective comparison between the existing models is believed to have caused the difficulties. In this paper, a list of component model properties is derived by thoroughly examining the available component ...


تلخيص ونبذة عن كتاب الجراحة التجميلية في الجوانب القانونية والشرعية, Philadelphia University 2010 Philadelphia University

تلخيص ونبذة عن كتاب الجراحة التجميلية في الجوانب القانونية والشرعية, Philadelphia University

Philadelphia University, Jordan

No abstract provided.


Open Source Tools For Varied Professions, Nadim Khan 2010 University of Kashmir

Open Source Tools For Varied Professions, Nadim Khan

NADIM AKHTAR KHAN

Purpose: The popularity of open source software in contemporary world with the emergence of globally distributed base of developers, contributors and users has given new identity to the present software development industry with growing use of freely available software tools along with the source code by non-profit organisations, universities and commercial establishments to suit their varied requirements. The success of such software tools is evident with the growing number of downloads and users from diverse professions. The present paper makes an attempt to explore some of the most Prominent Open Source tools used for highly specialised professional tasks in the ...


Quality Evaluation Of Reconstructed Biological Signals, American Journal Of Applied Sciences, 6 (1): 187-193, 2009., Philadelphia University 2010 Philadelphia University

Quality Evaluation Of Reconstructed Biological Signals, American Journal Of Applied Sciences, 6 (1): 187-193, 2009., Philadelphia University

Philadelphia University, Jordan

No abstract provided.


Spatial Organization Of The International Tourism Flows In Jordan, Philadelphia University 2010 Philadelphia University

Spatial Organization Of The International Tourism Flows In Jordan, Philadelphia University

Philadelphia University, Jordan

No abstract provided.


Zest Based Visualization For Requirements Negotiation, Siti Salwah Salim 2010 University of Malaya

Zest Based Visualization For Requirements Negotiation, Siti Salwah Salim

Siti Salwah Salim Prof. Dr.

Win-Win is one of the most common models which help systems stakeholders resolve conflicts during system Requirements Negotiation (RN). Solving conflicts, however, is barely dependent on visualizing the negotiation itself The Zest algorithm was invented to visualize a standard e-mail discussion and demonstrate a concise overview of the discussion to facilitate a more productive one. This research sought to use this algorithm in visualizing the RN process in groupware. We have formulated a conceptual diagram on which to base the design and development process of the groupware for implementing the Zest algorithm. Our implementation of the algorithm has later been ...


Guidelines For Teaching These Speech Acts, Philadelphia University 2010 Philadelphia University

Guidelines For Teaching These Speech Acts, Philadelphia University

Philadelphia University, Jordan

No abstract provided.


An Approach For Crosscutting Concern Identification At Requirements Level Using Nlp, Zarinah Mohd. Kasirun Assoc. Prof. 2010 University of Malaya

An Approach For Crosscutting Concern Identification At Requirements Level Using Nlp, Zarinah Mohd. Kasirun Assoc. Prof.

Zarinah Mohd. Kasirun Assoc. Prof.

Poor requirements analysis process results in incomplete software applications. Some requirements appear as scattered and tangled concerns within requirements document. Hence it is difficult to identify such requirements. A number of research approaches such as Theme/Doc, early aspects identification, information retrieval and aspects identification using UML have been developed to identify crosscutting concern at the requirements level. Nevertheless, these approaches are only supported by semiautomated tools whereby human intervention is required to achieve the desired results. This research focuses on developing a tool to automatically identify crosscutting concern at the requirements level. A model based on Theme/Doc and ...


Mixed Reality Environment For Web-Based Laboratory Interactive Learning, Philadelphia University 2010 Philadelphia University

Mixed Reality Environment For Web-Based Laboratory Interactive Learning, Philadelphia University

Philadelphia University, Jordan

No abstract provided.


A Collaborative Multimedia Annotation Tool For Enhancing Knowledge Sharing In Cscl, Stephen J.H. Yang, Jia Zhang, Addison Su, Jeffrey J.P. Tsai 2010 Carnegie Mellon University, Silicon Valley

A Collaborative Multimedia Annotation Tool For Enhancing Knowledge Sharing In Cscl, Stephen J.H. Yang, Jia Zhang, Addison Su, Jeffrey J.P. Tsai

Jia Zhang

No abstract provided.


Clustering Algorithm Identification System Using Wavelet Transform, Philadelphia University 2010 Philadelphia University

Clustering Algorithm Identification System Using Wavelet Transform, Philadelphia University

Philadelphia University, Jordan

No abstract provided.


A Multi-Encoding Approach For Ltl Symbolic Satisfiability Checking, Kristin Yvonne Rozier, Moshe Y. Vardi 2010 NASA Ames Research Center

A Multi-Encoding Approach For Ltl Symbolic Satisfiability Checking, Kristin Yvonne Rozier, Moshe Y. Vardi

Kristin Yvonne Rozier

Formal behavioral specifications written early in the system-design process and communicated across all design phases have been shown to increase the efficiency, consistency, and quality of the system under development. To prevent introducing design or verification errors, it is crucial to test specifications for satisfiability. Our focus here is on specifications expressed in linear temporal logic (LTL).

We introduce a novel encoding of symbolic transition-based Büchi automata and a novel, “sloppy,” transition encoding, both of which result in improved scalability. We also define novel BDD variable orders based on tree decomposition of formula parse trees. We describe and extensively test ...


Applicability Of Web 2.0: Training For Tactical Military Applications, Maurice Dawson 2010 University of Missouri - St Louis

Applicability Of Web 2.0: Training For Tactical Military Applications, Maurice Dawson

Maurice Dawson

This paper is a report on the findings of a study conducted on a doctoral level virtual course utilizing Second Life for usability and interaction. The project from this course allowed for further exploration of training servicemen from other nations in decision making techniques to include a level of familiarization with various technologies. As Second Life is a low cost tool this could prove invaluable to offset training costs to involve getting servicemen to understand technologies through simulation. Currently the available tools are costly and as government looks for ways to save costs Second Life can prove to be a ...


A Mobile Agent-Based Tool Supporting Web Services Testing, Jia Zhang 2010 Northern Illinois University

A Mobile Agent-Based Tool Supporting Web Services Testing, Jia Zhang

Jia Zhang

No abstract provided.


A Formal And Visual Modeling Approach To Choreography Based Web Services Compositions And Conformance Verification, Wing Lok Yeung 2010 Lingnan University, Hong Kong

A Formal And Visual Modeling Approach To Choreography Based Web Services Compositions And Conformance Verification, Wing Lok Yeung

Prof. YEUNG Wing-lok

Web services have emerged as the building blocks of a service-oriented architecture that supports not only enterprise application integration (EAI) and business process management (BPM) within an organization but also B2B collaboration based on business process integration. The web services choreography approach to B2B process integration allows business partners to orchestrate their own web services privately, while conforming with an agreed specification of the common ordering conditions and constraints under which messages are exchanged among partners’ web services. In this approach, choreography conformance is an essential requirement for the successful implementation of collaborative processes. A formal approach to web services ...


Measuring Intellectual Capital In Corporations, Philadelphia University 2010 Philadelphia University

Measuring Intellectual Capital In Corporations, Philadelphia University

Philadelphia University, Jordan

No abstract provided.


Studies On Taxonomy And Ecology Of Some Fish Larve From The Gulf Of Aqaba, Philadelphia University 2010 Philadelphia University

Studies On Taxonomy And Ecology Of Some Fish Larve From The Gulf Of Aqaba, Philadelphia University

Philadelphia University, Jordan

No abstract provided.


Collaborative Scientific Workflows Supporting Collaborative Science, Shiyong Lu, Jia Zhang 2010 Northern Illinois University

Collaborative Scientific Workflows Supporting Collaborative Science, Shiyong Lu, Jia Zhang

Jia Zhang

No abstract provided.


Digital Commons powered by bepress