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

Towards an OSGi Based Pervasive Cloud Infrastructure

Towards an OSGi Based Pervasive Cloud Infrastructure

IEEE/ACM Int'l Conference on & Int'l Conference on Cyber, Physical and Social Computing (CPSCom) Green Computing and Communications (GreenCom)

作者： Weishan Zhang Licheng Chen Qinghua Lu Yuan Rao Jiehan Zhou Department of Software Engineering China University of Petroleum Qingdao China Software Systems Research Group National ICT Australia (NICTA) Australia College of Software Engineering Xi'an Jiaotong University Xi'an China Department of Computer Science and Engineering University of Oulu Oulu Finland

Pervasive computing is converging with cloud computing as with the development of smart cities. There arise the complexities from this convergence, like unprecedented large number of computing devices, flexibilities and adaptation of services for fitting personalization requirements from end users, expectations of powerful computing and storage capabilities of handhold devices, and so on. Therefore, a supporting infrastructure that can handle big data arisen from large number of devices, and can flexibly switch services at run time, is needed. Henceforth, in this paper, we propose an OSGi based pervasive cloud (OSGi-PC) infrastructure which can make use both of the cloud computing capabilities and component flexibilities from OSGi. We have evaluated the OSGi-PC in terms of performance and power consumption to show its usability.

关键词： Standards Java Registers Androids Humanoid robots Containers Internet

来源：评论

学校读者我要写书评

暂无评论

EDITORIAL

引用

INTELLIGENT BUILDINGS INTERNATIONAL 2013年第2期5卷 67-68页

作者： Clements-Croome, Derek Computer Science Department Escuela Politecnica Superior Universidad Autonoma de Madrid C/Francisco Tomás y Valiente 28049 Madrid Spain Software Engineering Department Faculty of Automatics Computers and Electronics University of Craiova Bvd. Decebal 107 200440 Craiova Romania Applied Research Laboratory Information Science and Technology Division Pennsylvania State University 204 V Applied Science Building University Park PA 16802 United States Systems Engineering Section Faculty of Technology Policy and Management Delft University of Technology Jaffalaan 5 2628BX Delft Netherlands

Click to increase image sizeClick to decrease image size

关键词： indoor environment design process Research Institutes physical factors fresh air Electromagnetic Radiation CHILLER lean Environmental issues customers Finnish Primary Schools Occupational Health Scandinavia Teachers

来源：评论

学校读者我要写书评

暂无评论

Development of Robust Traceability Benchmarks

Development of Robust Traceability Benchmarks

引用

Australian software engineering Conference

作者： Xiaofan Chen John Hosking John Grundy Robert Amor Department of Computer Science University of Auckland Auckland New Zealand College of Engineering & Computer Science Australian National University Canberra Australia Centre for Computing and Engineering Software Systems Swinburne University of Technology Hawthorn Australia

ISBN: (纸本)9781479902262

Traceability benchmarks are essential for the evaluation of traceability recovery techniques. This includes the validation of an individual traceability technique itself and the objective comparison of the technique with other traceability techniques. However, it is generally acknowledged that it is a real challenge for researchers to obtain or build meaningful and robust benchmarks. This is because of the difficulty of obtaining or creating suitable benchmarks. In this paper, we describe an approach to enable researchers to establish affordable and robust benchmarks. We have designed rigorous manual identification and verification strategies to determine whether or not a link is correct. We have developed a formula to calculate the probability of errors in benchmarks. Analysis of error probability results shows that our approach can produce high quality benchmarks, and our strategies significantly reduce error probability in them.

关键词： traceability benchmark benchmark development

来源：评论

学校读者我要写书评

暂无评论

Sparse signal analysis using Ramanujan sums

引用

9th International Conference on Intelligent Computing, ICIC 2013

作者： Chen, Guangyi Krishnan, Sridhar Liu, Weihua Xie, Wenfang Department of Computer Science and Software Engineering Concordia University Montreal QC H3G 1M8 Canada Department of Computer and Electrical Engineering Ryerson University Toronto ON Canada State Key Lab. of Virtual Reality Technology and Systems Beihang University No 37 Xueyuan Rd. Haidian District 100191 Beijing China Department of Mechanical and Industrial Engineering Concordia University Montreal QC H3G 1M8 Canada

ISBN: (纸本)9783642394812

In this paper, we perform sparse signal analysis by using the Ramanujan Sums (RS). The RS are orthogonal in nature and therefore offer excellent energy conservation. Our analysis shows that the RS can compress the energy of a periodic impulse chain signal into fewer number of RS coefficients than the Fourier transform (FT). In addition, the RS are faster than the FT in computation time because we can calculate the RS basis functions only once and save them to a file. We can retrieve these RS basis functions for our calculation instead of computing them online. To process a signal of 128 samples, we spend 1.0 millisecond for the RS and 5.82 milliseconds for the FT by using our unoptimized Matlab code. © 2013 Springer-Verlag.

关键词： Signal analysis

来源：评论

学校读者我要写书评

暂无评论

Efficient public key cryptosystem resilient to key leakage chosen ciphertext attacks 1

引用

Cryptographers' Track at the RSA Conference 2013, CT-RSA 2013

作者： Liu, Shengli Weng, Jian Zhao, Yunlei Dept. of Computer Science and Engineering Shanghai Jiao Tong University Shanghai 200240 China Department of Computer Science Emergency Technology Research Center of Risk Evaluation and Prewarning on Public Network Security Jinan University China Software School Fudan University Shanghai 201203 China State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences Beijing 100093 China Shanghai Key Laboratory of Scalable Computing and Systems Shanghai China

ISBN: (数字)9783642360954

ISBN: (纸本)9783642360947

Leakage-resilient public key encryption (PKE) schemes are designed to resist "memory attacks", i.e., the adversary recovers the cryptographic key in the memory adaptively, but subject to constraint that the total amount of leaked information about the key is bounded by some parameter λ. Among all the IND-CCA2 leakage-resilient PKE proposals, the leakage-resilient version of the Cramer-Shoup cryptosystem (CS-PKE), referred to as the KL-CS-PKE scheme proposed by Naor and Segev in Crypto09, is the most practical one. But, the key leakage parameter λ and plaintext length m of KL-CS-PKE are subject to λ + m ≤ log q - ω(log κ), where κ is security parameter and q is the prime order of the group on which the scheme is based. Such a dependence between λ and m is undesirable. For example, when λ (resp., m) approaches to log q, m (resp., λ) approaches to 0. In this paper, we designed a new variant of CS-PKE that is resilient to key leakage chosen ciphertext attacks. Our proposal is λ ≤ log q - ω(log κ) leakage-resilient, and the leakage parameter λ is independent of the plaintext space that has the constant size q (exactly the same as that in CS-PKE). The performance of our proposal is almost as efficient as the original CS-PKE. As far as we know, this is the first leakage-resilient CS-type cryptosystem whose plaintext length is independent of the key leakage parameter, and is also the most efficient IND-CCA2 PKE scheme resilient to up to log q - ω(log κ) leakage. © 2013 Springer-Verlag.

关键词： Public key cryptography

来源：评论

学校读者我要写书评

暂无评论

Model Repair for Markov Decision Processes

Model Repair for Markov Decision Processes

引用

Theoretical Aspects of software engineering (TASE)

作者： Taolue Chen Ernst Moritz Hahn Tingting Han Marta Kwiatkowska Hongyang Qu Lijun Zhang Department of Computer Scienc University of Oxford UK Department of Automatic Control and Systems Engineering University of Sheffield UK State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China

Markov decision processes (MDPs) are often used for modelling distributed systems with probabilistic failure or randomisation. We consider the problem of model repair for MDPs defined as follows: if the MDP fails to satisfy a property, we aim to find new values for the transition probabilities so that the property is guaranteed to hold, while at the same time the cost of repair is minimised. Because solving the MDP repair problem exactly is infeasible, in this paper we focus on approximate solution methods. We first formulate a region-based approach, which yields an interval in which the minimal repair cost is contained. As an alternative, we also consider sampling based approaches, which are faster but unable to provide lower bounds on the repair cost. We have integrated both methods into the probabilistic model checker PRISM and demonstrated their usefulness in practice using a computer virus case study.

关键词： Maintenance engineering Markov processes Computational modeling Probabilistic logic Cost accounting Proposals

来源：评论

学校读者我要写书评

暂无评论

Creating a program and research a cryptosystem on the basis of Cardan grille

Creating a program and research a cryptosystem on the basis ...

引用

International Conference on Informatics & Applications (ICIA)

作者： Irbulat Utepbergenov Janna Kuandykova Tamerlan Mussin Sholpan Sagyndykova Department of Computer Science and Information Systems Kazakh Academy of Transport and Communications Almaty Kazakhstan Department of Computer and Software Engineering Turan University Almaty Kazakhstan Division of Research and Cooperation Caspian University of Technologies and Engineering Aktay Kazakhstan

ISBN: (纸本)9781467352543

Considered cryptosystems such as Cardano square lattices are characterized by the high-speed encryption in use today Enhanced Programming computers. This is because the number of different variants rapidly increases with the size of a square. In this paper we have shown that, for the size of 20 × 20, the number of such grids exceeds the number of 1.6 × 2 60 Therefore, these systems have sufficient cryptographic resistance. Application of these systems in conjunction with substitution cipher can still more resist cryptographic attacks.

关键词： Lattices Encryption Ciphers Encoding Clocks Decoding

来源：评论

学校读者我要写书评

暂无评论

Energy-aware and self-adaptive anomaly detection scheme based on network tomography in mobile ad hoc networks

Energy-aware and self-adaptive anomaly detection scheme base...

引用

作者： Wang, Wei Wang, Huiran Wang, Beizhan Wang, Yaping Wang, Jiajun School of Computer Science Xi'An Polytechnic University Xi'an 710048 China Key Laboratory for Intelligent Network and Network Security Xi'An Jiaotong University Ministry of Education Xi'an 710049 China School of Software Xiamen University Xiamen 361005 China Department of Industrial and Systems Engineering Texas AandM University TX 77843 United States

Anomaly detection is indispensable for satisfying security services in mobile ad hoc network (MANET) applications. Often, however, a highly secure mechanism consumes a large amount of network resources, resulting in network performance degradation. To shift intrusion detection from existing security-centric design approaches to network performance centric design schemes, this paper presents a framework for designing an energy-aware and self-adaptive anomaly detection scheme for resource constrained MANETs. The scheme uses network tomography, a new technique for studying internal link performance based solely on end-to-end measurements. With the support of a module comprising a novel spatial-time model to identify the MANET topology, an energy-aware algorithm to sponsor system service, a method based on the expectation maximum to infer delay distribution, and a Self-organizing Map (SOM) neural network solution to profile link activity, the proposed system is capable of detecting link anomalies and localizing malicious nodes. Consequently, the proposed scheme offers a trade-off between overall network security and network performance, without causing any heavy network overload. Moreover, it provides an additional approach to monitor the spatial-time behavior of MANETs, including network topology, link performance and network security. The effectiveness of the proposed schemes is verified through extensive experiments. © 2012 Elsevier Inc. All rights reserved.

关键词： Mobile ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

Teaching Service-Oriented Programming to CS and SE undergraduate students

Teaching Service-Oriented Programming to CS and SE undergrad...

引用

Frontiers in Education (FIE) Conference

作者： Xumin Liu Rajendra K. Raj Thomas J. Reichlmayr Chunmei Liu Alex Pantaleev Department of Computer Science Rochester Institute of Technology Rochester New York USA Department of Software Engineering Rochester Institute of Technology Rochester New York USA Department of Systems and Computer Science Howard University Washington DC USA Department of Computer Science SUNY Oswego Oswego New York USA

Service-Oriented Programming (SOP) is a relatively new programming paradigm that supports the development of new software applications using existing services as building blocks. SOP has gained significant popularity in industry as it increases software reuse and productivity. As the SOP paradigm can improve modern software development, the presenters have created a course-module based approach for incorporating SOP into computer science (CS) and software engineering (SE) curricula; a course module is a distinct curricular unit such as a lab or teaching component that an instructor may incorporate into an existing course typically without requiring formal curricular approval. SOP course modules have been developed for inclusion in standard courses in many CS and SE programs; for example, an introductory SOP course module in a CS2 course while advanced modules for courses such as Programming language Concepts, software engineering, or Web Services. This workshop will present basic concepts and techniques of SOP and describe how the course-module approach toward SOP can be adapted for the participants' own teaching. The typical participant would be a faculty member with some background in programming, and is interested in learning more about SOP but does need not to have prior web service programming experience.

关键词： Web services Programming Conferences Education

来源：评论

学校读者我要写书评

暂无评论

computer engineering curriculum guidelines

Computer engineering curriculum guidelines

引用

Frontiers in Education (FIE) Conference

作者： Eric Durant John Impagliazzo Susan Conry Andrew McGettrick Mitchell Thornton Timothy Wilson Electrical Engineering and Computer Science Department Milwaukee School of Engineering Milwaukee Wisconsin USA Computer Science Department Hofstra University Hempstead New York USA Department of Electrical and Computer Engineering Clarkson University Potsdam New York USA Department of Computer and Information Sciences University of Strathclyde Glasgow Scotland UK Department of Computer Science and Engineering Southern Methodist University Dallas Texas USA Electrical Computer Software & Systems Engineering Embry-Riddle Aeronautical University Daytona Beach Florida USA

Participants of this pre-conference workshop will learn about the development of computer engineering curricula reports. They will also learn about the revision process and will have the opportunity to provide comment and opinion on drafting an update of the joint ACM and IEEE computer Society document from 2004 titled, “Curriculum Guidelines for Undergraduate Degree Programs in computer engineering” known also as CE2004. The authors of this workshop welcome all participation including overall comments and targeted editing assistance from the computer engineering education community. This activity will ensure that an updated document is a forward-looking summary of state-of-the-art educational practices in the computer engineering field.

关键词： computers Educational institutions Conferences Guidelines Industries IEEE computer Society

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：