检索结果-内蒙古大学图书馆

IAENG International Journal of Computer Science 2012年第3期39卷 269-275页

作者： Jalao, Eugene Rex L. Shunk, Dan L. Wu, Teresa Department of Industrial University of the Philippines Diliman Philippines Industrial Engineering Program School of Computing Informatics and Decision Systems Engineering Arizona State University United States

Software-as-a-Service (SaaS) applications are currently an appealing concept for organizations with a small budget for IT infrastructure investment. By definition, in a SaaS setup, companies subscribe software applications on a pay-per-use system from external service providers over the internet. However, managers are looking for a decision framework that can be used to prioritize business software applications for migration into a SaaS environment. This paper attempts to fill in this gap by proposing a hybrid methodology which is composed of a total system life cycle (SLC) cost analysis for cost estimation and the analytic network process (ANP) for prioritization. Real test case data is used to validate the decision making capability of the framework. Sensitivity analysis was done to determine the robustness of the recommendations using Monte Carlo simulation. Results show that the proposed methodology could aid managers prioritizes software application projects for SaaS migration.

关键词： Managers

来源：评论

学校读者我要写书评

暂无评论

Scalable architectures for SaaS

Scalable architectures for SaaS

引用

作者： Tsai, Wei-Tek Huang, Yu Bai, Xiaoying Gao, Jerry School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ United States Dept. of Computer Science and Technology INLIST Tsinghua University Beijing China Dept. of Computer Engineering College of Engineering San Jose State University San Jose CA United States

ISBN: (纸本)9780769546698

An important issue faced by Software-as-a-Service (SaaS) application is scalability. Each SaaS application is typically shared by multiple (tens or hundreds) organizations (tenants). Each tenant may have hundreds or thousands of users. Thus, the number of concurrent accesses is high. Handling a large number of user requests effectively is critical for SaaS applications. Various aspects of SaaS can have a significant impact on its scalability, including levels of scalability mechanisms, automated migration, tenant awareness, workload support, fault-tolerance and recovery, software architecture and database access. This paper identifies scalability factors and discusses their impacts on the scalability of SaaS applications. Existing approaches for addressing the scalibility of SaaS applications are also analyzed, and this paper suggests some alternatives to improve SaaS scalability based on the factors identified. © 2012 IEEE.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

透视下介入操作时峰值皮肤剂量分布的自动测量确认和初步临床应用

引用

国际医学放射学杂志 2013年第2期 167-167页

作者： Y. Khodadadegan M. Zhang W. Pavlicek R.G. Paden B. Chong E.A. Huettl 高飞 School of Computing Informatics and DecisionSystems Engineering Arizona State University 699 S MillAve Tempe AZ 85281

目的在透视引导介入手术中,评估一款能自动绘图并记录病人皮肤剂量,包括峰值皮肤剂量(PSD)的软件精确度和初步临床应用。材料与方法本回顾性研究符合HIPAA规定并通过机构伦理委员会审核,不需要知情同意书。软件经初步认证和精确检验后,... 详细信息

目的在透视引导介入手术中,评估一款能自动绘图并记录病人皮肤剂量,包括峰值皮肤剂量(PSD)的软件精确度和初步临床应用。材料与方法本回顾性研究符合HIPAA规定并通过机构伦理委员会审核,不需要知情同意书。软件经初步认证和精确检验后,于2011年1月—2011年10月用于在放射科、心内科和胃肠科的透视引导下介入操作的评估,获得皮肤剂量分布和PSD的数据。共有520例病人(男性占64%,年龄20～95岁)进行了605次介入手术。采用针对模体的外部剂量指示计和直接曝光胶片数据来确认该软件记录病人皮肤辐射剂量分布的精确度。对PSD分布、不同操作类型的PSD和手术操作者的PSD进行评估。结果计算出的PSD值与用体积较匹配模体的胶片剂量测定值有±9%的浮动范围,最大辐射接受区域(>峰值的95%)浮动范围为±17%。在605次介入手术中,有15次PSD值>2Gy,最大PSD值为5.6Gy。结论对皮肤受射剂量的了解和认知将对那些会接受较高皮肤受射剂量的病人的治疗提供直接帮助,并可据此规划下一步的手术方案。

关键词：皮肤剂量介入操作 PSD 临床应用

来源：评论

学校读者我要写书评

暂无评论

Verification of Automotive Control Applications using S-TaLiRo

Verification of Automotive Control Applications using S-TaLi...

引用

American Control Conference

作者： Georgios E. Fainekos Sriram Sankaranarayanan Koichi Ueda Hakan Yazarel School of Computing Informatics and Decision Systems Engineering at Arizona State University Department of Computer Science University of Colorado Boulder Toyota Technical Center

ISBN: (纸本)9781457710957

S-TALIRO is a software toolbox that performs stochastic search for system trajectories that falsify real-time temporal logic specifications. S-TALIRO is founded on the notion of robustness of temporal logic specifications. In this paper, we present a dynamic programming algorithm for computing the robustness of temporal logic specifications with respect to system trajectories. We also demonstrate that typical automotive functional requirements can be captured and falsified using temporal logics and S-TALIRO.

关键词： Robustness Heuristic algorithms Trajectory Gears Measurement Optimization Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Gesture profile forweb services: An event-driven architecture to support gestural interfaces for smart environments 3rd

Gesture profile forweb services: An event-driven architectur...

引用

3rd International Joint Conference on Ambient Intelligence, AmI 2012

作者： Vatavu, Radu-Daniel Chera, Cătălin-Marian Tsai, Wei-Tek University Stefan cel Mare of Suceava Suceava720229 Romania Computer Science Department Politehnica University of Bucharest Romania School of Computing Informatics and Decision Systems Engineering Arizona State University TempeAZ85287 United States Department of Computer Science and Technology Tsinghua University Beijing China

ISBN: (纸本)9783642348976

Gestural interfaces have lately become extremely popular due to the introduction on the market of low-cost acquisition devices such as iPhone, Wii, and Kinect. Such devices allow practitioners to design, experiment, and evaluate novel interfaces and interactions for new smart environments. However, gesture recognition algorithms are currently the appanage of machine learning experts which sometimes leaves AmI practitioners dealing with complex pattern recognition techniques instead of focusing on prototyping ambient interactions. To address this problem, we propose GPWS (Gesture Profile forWeb Services), a service-oriented architecture (SOA) designed to assist implementation of gestural interfaces. By providing gesture recognition as a web service, we leverage easy and fast adoption of gestural interfaces for various platforms and environments through simple service discovery and composition mechanisms. We discuss two GPWS designs based on SOA 1.0 and SOA 2.0 standards, analyze their performance, and demonstrate GPWS for a gesture-controlled smart home application. © Springer-Verlag Berlin Heidelberg 2012.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Efficient updates for web-scale indexes over the cloud

Efficient updates for web-scale indexes over the cloud

引用

2012 IEEE 28th International Conference on Data engineering Workshops, ICDEW 2012

作者： Antonopoulos, Panagiotis Konstantinou, Ioannis Tsoumakos, Dimitrios Koziris, Nectarios Microsoft Corp Redmond WA United States Department of Informatics Ionian University Greece Computing Systems Laboratory School of Electrical and Computer Engineering National Technical University of Athens Greece

ISBN: (纸本)9780769547480

In this paper, we present a distributed system which enables fast and frequent updates on web-scale Inverted Indexes. The proposed update technique allows incremental processing of new or modified data and minimizes the changes required to the index, significantly reducing the update time which is now independent of the existing index size. By utilizing Hadoop MapReduce, for parallelizing the update operations, and HBase, for distributing the Inverted Index, we create a high-performance, fully distributed index creation and update system. To the best of our knowledge, this is the first open source system that creates, updates and serves large-scale indexes in a distributed fashion. Experiments with over 23 million Wikipedia documents demonstrate the speed and robustness of our implementation: It scales linearly with the size of the updates and the degree of change in the documents and demonstrates a constant update time regardless of the size of the underlying index. Moreover, our approach significantly increases its performance as more computational resources are acquired: It incorporates a 15.4GB update batch to a 64.2GB indexed dataset in about 21 minutes using just 12 commodity nodes, 3.3 times faster compared to using two nodes. © 2012 IEEE.

关键词： Open systems

来源：评论

学校读者我要写书评

暂无评论

Convergence Proofs for Simulated Annealing Falsification of Safety Properties

Convergence Proofs for Simulated Annealing Falsification of ...

引用

Annual Allerton Conference on Communication, Control, and computing

作者： Houssam Abbas Georgios Fainekos Department of Electrical Computer and Energy Engineering Arizona State University Department of Computing Informatics and Decision Systems Engineering Arizona State University

ISBN: (纸本)9781467345378

The problem of falsifying temporal logic properties of hybrid automata can be posed as a minimization problem by utilizing quantitative semantics for temporal logics. Previous work has used a variation of Simulated Annealing (SA) to solve the problem. While SA is known to converge to the global minimum of a continuous objective function over a closed and bounded search space, or when the search space is discrete, there do not exist convergence proofs for the cases addressed in that previous work. Namely, when the objective function is discontinuous, and when the objective is a vector-valued function. In this paper, we derive conditions and we prove convergence of SA to a global minimum in both scenarios. We also consider matters affecting the practical performance of SA.

关键词： Hybrid automata Global Minimum Converge simulated annealing Proof Objective function falsification Temporal logic Discontinuous

来源：评论

学校读者我要写书评

暂无评论

Determining the community college audience

Determining the community college audience

引用

119th ASEE Annual Conference and Exposition

作者： Anderson-Rowland, Mary R. Rodriguez, Armando A. Grierson, Anita Department of Computing Informatics and Systems Design Engineering Arizona State University United States ASU Faculty Arizona State University United States METS Center School of Engineering Arizona State University United States

ISBN: (纸本)9780878232413

With the continued need for more engineers and computer scientists in the United States, efforts to educate and to encourage more students to consider engineering are increasing at the community college (CC) level. Students at non-metropolitan CCs may especially need to have someone reach out to them with encouragement about attending a four year school and to consider engineering as a career. Therefore a question that needs to be answered is this: "How can a university best do outreach to a non-metropolitan CC?" In our experience, having a captive audience in the classroom is the best way to reach CC students with information about engineering. In this way, their attention is focused on engineering for at least a few minutes. The next question that begs itself is: "What is the most effective engineering message for rural CC students?" That question suggests the next one: "Who is the audience at the rural CC?" This paper describes the results of a short questionnaire given to 116 students at a nonmetropolitan CC. This work is sponsored by a National Science Foundation STEP grant. The questionnaire was given at the end of a 20-60 minutes presentation in a classroom by an engineering university professor. It was not surprising to learn that the students wanted more information on financing a Bachelor's degree and on the transfer process;a number of students also wanted more information on engineering. We note the information by gender, ethnicity, and age. Suggestions are given for using these results to advantage when designing the engineering outreach message according to the audience. © 2012 American Society for engineering Education.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Health-Dev: Model Based Development Pervasive Health Monitoring systems

Health-Dev: Model Based Development Pervasive Health Monitor...

引用

International Workshop on Wearable and Implantable Body Sensor Networks (BSN)

作者： Ayan Banerjee Sunit Verma Priyanka Bagade Sandeep K.S. Gupta School of Computing Information Decision Systems Engineering Arizona State University Tempe AZ USA

Implementing requirements verified body worn medical sensors and smart phones, acting as base stations, in Body Sensor Networks (BSNs), is of extreme importance for development of reliable pervasive health monitoring systems (PHMS). Models of BSNs have been used to analyze designs with respect to requirements such as energy consumption, lifetime, and network reliability under dynamic context changes due to user mobility. This paper proposes Health-Dev that takes a high level specification of requirements verified BSN design and automatically generates both the sensor and smart phone code. Case studies related to energy efficiency and mobility aware network reliability show whether the resulting implementation satisfies the requirements set forth in the design phase.

关键词： Intelligent sensors Smart phones Signal processing algorithms Temperature sensors Hardware Generators

来源：评论

学校读者我要写书评

暂无评论

On the revision problem of specification automata

On the revision problem of specification automata

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： Kangjin Kim Georgios E. Fainekos Sriram Sankaranarayanan School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ USA Department of Computer Science University of Colorado Boulder CO USA

One of the important challenges in robotics is the automatic synthesis of provably correct controllers from high level specifications. One class of such algorithms operates in two steps: (i) high level discrete controller synthesis and (ii) low level continuous controller synthesis. In this class of algorithms, when phase (i) fails, then it is desirable to provide feedback to the designer in the form of revised specifications that can be achieved by the system. In this paper, we address the minimal revision problem for specification automata. That is, we construct automata specifications that are as “close” as possible to the initial user intent, by removing the minimum number of constraints from the specification that cannot be satisfied. We prove that the problem is computationally hard and we encode it as a satisfiability problem. Then, the minimal revision problem can be solved by utilizing efficient SAT solvers.

关键词： Automata Encoding Planning Materials requirements planning Trajectory Dynamics

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：