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

ACM SIGPLAN Conference on Object-oriented programming, Systems, languages, and Applications

作者： D. Ancona G. Lagorio E. Zucca DISI - Universita di Genova Genova Italy

ISBN: (纸本)1581133359

In this paper we present a simple calculus (called CJE) in ourder to fully investigate the exception mechanism of java, and in particular its interaction with inheritance, which turns out to be non trivial. Moreover, we show that the type system for the calculus directly dirven by the java language specification (called FULL) uses too many types, in the sense that there are different types which rpovide exactly the same information. Hence, we obtain from FULL a simplified type system called MIN where equivalent types have been identified. We show that is useful both for type-checking optimization and for clarifying the static semantics of the language. The two type systems are proved to satisfy the subject reduction property

关键词： java programming language Calculus Calculi java language specification EXCEPTIONS Inheritance

来源：评论

学校读者我要写书评

暂无评论

Design of an Ontology Model Based Ship Condition Monitoring Middleware

Design of an Ontology Model Based Ship Condition Monitoring ...

引用

International Conference on Intelligent Computing, Automation and Systems (ICICAS)

作者： Bin Zeng Lu Yao Rui Wang Department of Management and Economics Naval University of Engineering Wuhan China Teaching Guarantee Center Naval University of Engineering Wuhan China

ISBN: (数字)9781728161068

ISBN: (纸本)9781728161075

It is important for the ship automation management to implement the ship condition monitoring and real-time fault early warning. In order to improve the efficiency of data collection and intelligence of ship monitoring, a ship monitoring ontology model is proposed by using Web Ontology language (OWL) and a reason manager is designed by using Semantic Web Rule language (SWRL). Besides, java Expert Shell System (JESS) based reason machine is implemented to integrate the ship condition monitoring ontology and inference rules. A test bed is developed to verify the performance of the middleware system with real-time sensor data. The results show that the proposed middleware can improve the accuracy and decrease the warning delay compared with existed traditional monitoring system.

关键词： inference mechanisms java knowledge representation languages middleware monitoring ontologies (artificial intelligence) semantic Web ships Ships Middleware Inference mechanisms semantic networks java java programming language Data Collection Methods Condition monitoring test bed Ontology

来源：评论

学校读者我要写书评

暂无评论

java2SDG: Stateful Big Data Processing for the Masses

Java2SDG: Stateful Big Data Processing for the Masses

引用

IEEE International Conference on Data Engineering

作者： Raul Castro Fernandez Panagiotis Garefalakis Peter Pietzuch Imperial College London United Kingdom

ISBN: (纸本)9781509020218

Big data processing is no longer restricted to specially-trained engineers. Instead, domain experts, data scientists and data users all want to benefit from applying data mining and machine learning algorithms at scale. A considerable obstacle towards this "democratisation of big data" are programming models: current scalable big data processing platforms such as Spark, Naiad and Flink require users to learn custom functional or declarative programming models, which differ fundamentally from popular languages such as java, Matlab, Python or C++. An open challenge is how to provide a big data programming model for users that are not familiar with functional programming, while maintaining performance, scalability and fault tolerance. We describe java2SDG, a compiler that translates annotated java programs to stateful dataflow graphs (SDGs) that can execute on a compute cluster in a data-parallel and fault-tolerant fashion. Compared to existing distributed dataflow models, a distinguishing feature of SDGs is that their computational tasks can access distributed mutable state, thus allowing SDGs to capture the semantics of stateful java programs. As part of the demonstration, we provide examples of machine learning programs in java, including collaborative filtering and logistic regression, and we explain how they are translated to SDGs and executed on a large set of machines.

关键词： big data java java programming language Consumers data parallel Fault tolerance data mining Machine learning algorithms Functional programming collaborative filtering setting machine Semantics data flow

来源：评论

学校读者我要写书评

暂无评论

The Comparison of Microservice and Monolithic Architecture

The Comparison of Microservice and Monolithic Architecture

引用

International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)

作者： Konrad Gos Wojciech Zabierowski Department of Microelectronics and Computer Science Lodz University of Technology Lodz Poland

The following topics are dealt with: microsensors; micromechanical devices; mechanical engineering computing; capacitive sensors; air pollution; approximation theory; fault tolerant computing; Bluetooth; patient monit... 详细信息

ISBN: (数字)9781728171807

ISBN: (纸本)9781728171814

关键词： monolith microservice architecture spring java ARCHITECTURE MONOLITHIC Building construction java java programming language springs Device Spring Spring season Clients customers web applications Software architecture Computer personnel

来源：评论

学校读者我要写书评

暂无评论

A PI-CALCULUS FORMALISM FOR DISCRETE EVENT SIMULATION 08

A PI-CALCULUS FORMALISM FOR DISCRETE EVENT SIMULATION

引用

Winter Simulation Conference (WSC 2008)

作者： Jianrui Wang Richard A. Wysk The Pennsylvania State University University Park PA

ISBN: (纸本)9781424427086

This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation federates. The capability of PiDES is demonstrated by translating a generalized semi-Markov process formalism into PiDES specification. The usage of PiDES is illustrated through a case study of a flexible manufacturing system consisting of two machines, two parts, and a robot. The major advantages of PiDES are discussed, which include: a) a complete set of semantics for both modeling and execution;b) supporting parallel and distributed simulation;c) adaptive modeling;d) rich coordination semantics for developing large simulation systems;and finally e) a formalism that can be used for agent-based simulation. An implementation of PiDES using java programming language is also provided.

关键词： discrete event simulation Event driven simulation formalism Semantics role model java programming language Simulation Systems Flexible manufacturing systems semiotics simulating Modeling pi calculus

来源：评论

学校读者我要写书评

暂无评论

Dynamic Taint Tracking using Partial Instrumentation for java Applications

arXiv

引用

arXiv 2024年

作者： Thakur, Manoj RameshChandra University of California Los Angeles United States

Dynamic taint tracking is the process of assigning label to variables in a program and then tracking the flow of the labels as the program executes. Dynamic taint tracking for java applications is achieved by instrumenting the application ie. adding parallel variable for each actual variable of the program and inserting additional bytecode instructions to track the flow of the parallel variables. In this paper we suggest partial instrumentation to achieve dynamic taint tracking with reasonable runtime overhead. Partial instrumentation involves instrumenting only parts of a java application, which are within the scope of a predefined source and sink set. Partial instrumentation is performed at the granularity level of a method. We use PetaBlox[2], a large-scale software analysis tool, which internally uses Datalog[3], to perform static analysis and infers all the methods within the scope of source and sink sets and a modified version of Phosphor[1] to achieve partial instrumentation. Test runs performed on some of the Dacapo benchmarks[5] show a significant performance improvement over the version of Phosphor that performs complete instrumentation. © 2024, CC0.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Cross-language Dependencies: An Empirical Study of Kotlin-java

arXiv

引用

arXiv 2024年

作者： Feng, Qiong Ji, Huan Ma, Xiaotian Liang, Peng Nanjing University of Science and Technology Nanjing China Wuhan University Wuhan China

Background: Since Google introduced Kotlin as an official programming language for developing Android apps in 2017, Kotlin has gained widespread adoption in Android development. The interoperability of java and Kotlin’s design nature allows them to coexist and interact with each other smoothly within a project. Aims: However, there is limited research on how java and Kotlin interact with each other in real-world projects and what challenges are faced during these interactions. The answers to these questions are key to understanding these kinds of cross-language software systems. Methods: In this paper, we implemented a tool named DependExtractor, which can extract 11 kinds of Kotlin-java dependencies, and conducted an empirical study of 23 Kotlin-java real-world projects with 3,227 java and 8,630 Kotlin source files. Results: Our findings revealed that java and Kotlin frequently interact with each other in these cross-language projects, with access and call dependency types being the most dominant. Compared to files interacting with other files in the same language, java/Kotlin source files, which participate in the cross-language interactions, undergo more commits. Additionally, among all Kotlin-java problematic interactions, we identified seven common mistakes, along with their fixing strategies. Conclusions: The findings of this study can help developers understand and address the challenges in Kotlin-java projects. © 2024, CC BY.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Deep Code Comment Generation

Deep Code Comment Generation

引用

IEEE Workshop on Program Comprehension

作者： Xing Hu Ge Li Xin Xia David Lo Zhi Jin Peking University Beijing China Monash University Clayton VIC Australia Singapore Management University Singapore Singapore

ISBN: (数字)9781450357142

ISBN: (纸本)9781538661697

During software maintenance, code comments help developers comprehend programs and reduce additional time spent on reading and navigating source code. Unfortunately, these comments are often mismatched, missing or outdated in the software projects. Developers have to infer the functionality from the source code. This paper proposes a new approach named DeepCom to automatically generate code comments for java methods. The generated comments aim to help developers understand the functionality of java methods. DeepCom applies Natural language Processing (NLP) techniques to learn from a large code corpus and generates comments from learned features. We use a deep neural network that analyzes structural information of java methods for better comments generation. We conduct experiments on a large-scale java corpus built from 9,714 open source projects from GitHub. We evaluate the experimental results on a machine translation metric. Experimental results demonstrate that our method DeepCom outperforms the state-of-the-art by a substantial margin.

关键词： Program comprehension Comment generation Deep learning Reverse engineering Developers java java programming language Codes machine translation Comment Natural language Processing Source code reading

来源：评论

学校读者我要写书评

暂无评论

Based on the Android Platform “Early Adopters” of APP Design and Implementation

Based on the Android Platform “Early Adopters” of APP Desi...

引用

2017 2nd International Conference on Computer Engineering,Information Science and Internet Technology(CII 2017)

作者： JIAHUI LIANG JING CHANG SONGTAI LI South China Business College Guangdong University of Foreign Studies

This paper describes a design and implementation of APP based on the early adopters of Android platform,the system uses the java programming language,based on the development of Android *** server uses the Tomcat+Eclipse+Struts2 architecture and combines the MYSQL database to build *** can use the APP scan code to experience the product trial,and also can feedback the trial products,and provide a good platform for enterprises to understand their products.

关键词： java programming language Eclipse development tool data base MYSQL

来源：评论

学校读者我要写书评

暂无评论

D-Card: A Distributed Mobile Phone Based System for Relaying Verified Friendships

D-Card: A Distributed Mobile Phone Based System for Relaying...

引用

IEEE Conference on Computer Communications Workshops

作者： Adam C. Champion Boying Zhang Jin Teng Zhimin Yang Department of Computer Science and Engineering The Ohio State University Microsoft Corporation One Microsoft Way

ISBN: (纸本)9781457702495

Cyber-physical networking systems (CPNSs) closely bridge cyberspace and the physical world. Cyberspace includes not only the Internet, but also telephone networks and short-range communications. CPNSs arise in many application domains, including social networking. Social CPNSs connect people embodied in the physical world with cyber social networking services to facilitate social interactions, including friendship formation. These services can be characterized by their dependence on Internet connections to operate. An important class of social CPNSs are mobile phone based ones. However, there is a lack of friendship verification in mobile phone based social CPNSs that allow miscreants to masquerade as friends. In this paper, we present D-Card, a mobile phone based social CPNS that provides friendship verification. D-Card provides an electronic name card that encodes relationship information for a person with his contact information. The name card includes a public key and digital signature. Comparing this public key with one from a trusted source enables identity verification. D-Card leverages a Bluetooth SDP toolkit to exchange information without requiring connection establishment. D-Card is a purely distributed CPNS that requires no Internet access or infrastructure. We implement the D-Card CPNS in java ME and Bluetooth. Our experiments with real-world mobile phones illustrate its potential for friendship verification in mobile phone based social CPNSs. To the best of our knowledge, D-Card is the first such CPNS designed for this purpose.

关键词： Mobile phones Friendship Public key telephone networks Public internet access Online resources Bluetooth Persons Contact Information digital signatures based Social Interaction Friends java java programming language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：