2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)最新文献_第3页

An Atomic function-based approach of Harris Affine detector 基于原子函数的Harris仿射探测器

2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645678

Karina Ruby Perez-Daniel, E. E. Hernández, M. Nakano-Miyatake, H. Meana

引用次数: 2

Removing Code Duplication with Roles 使用角色删除代码重复

2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645656

Fernando Sérgio Barbosa, Ademar Aguiar

引用次数: 4

Ontology-based program shell for building and editing multilingual thesauri of subject domains 基于本体的程序外壳，用于构建和编辑主题领域的多语言词典

2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SOMET.2013.6645680

Y. Zagorulko, G. Zagorulko

引用次数: 2

Towards Design-by-Contract based software architecture design 面向基于契约式设计的软件架构设计

2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645654

M. Ozkaya, C. Kloukinas

{"title":"Towards Design-by-Contract based software architecture design","authors":"M. Ozkaya, C. Kloukinas","doi":"10.1109/SoMeT.2013.6645654","DOIUrl":"https://doi.org/10.1109/SoMeT.2013.6645654","url":null,"abstract":"Design-by-Contract (DbC) gained wide familiarity among software developers for specifying software. It aids in documenting the behaviour of class methods as contracts between clients of the methods (pre-) and their suppliers (post-condition). This not only allows developers to document software behaviour precisely at such a high-level that can more easily be communicated, but also enables the formal verification of the behaviour. In this paper, we provide a comprehensive extension to DbC so that it can also be applied to the level of software architecture design. We illustrate this through our architecture description language XCD. Components in XCD have four different types of interfaces: provided and required interfaces of methods or emitter and consumer interfaces of events where methods/events are contractually specified. Contract specification is separated into functional and interaction contracts thus modularising the functional and interaction component behaviours. Furthermore, treating interaction protocols as connectors, XCD allows to specify connectors with interaction contracts that participating components adhere to. The formal semantics of XCD are defined using Finite State Process (FSP) thus enabling formal analysis of contractually specified software architectures for quality properties, e.g., deadlock.","PeriodicalId":447065,"journal":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114706839","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 8

Service oriented movie-based programming environment 面向服务的基于电影的编程环境

2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645648

Ruth Cortez, Hayato Tan, A. Vazhenin, D. Vazhenin

{"title":"Service oriented movie-based programming environment","authors":"Ruth Cortez, Hayato Tan, A. Vazhenin, D. Vazhenin","doi":"10.1109/SoMeT.2013.6645648","DOIUrl":"https://doi.org/10.1109/SoMeT.2013.6645648","url":null,"abstract":"Movie-based (MB) programming environment is a visual programming platform for creating algorithms and programs applying animation frames with computational and sensible operations. It facilitates the user's understanding and debugging of a program by coloring correlated areas of structures, introducing appropriate computational formulas as well as specifying algorithmic and logical behavior of those areas. The goal of the presented work is adapting the current system to Service-oriented Architecture in order to organize a sharable storage and server-based execution of MB-programs and algorithms. Therefore, the MB-programs/algorithms could be shared and reused by different developers. In this paper, features of MB-programming paradigm and the corresponding software are presented, which are used to enhance capabilities for data/knowledge and execution management. In the framework of Virtual-MVC design pattern, the MB-management architecture, component's design steps and a prototype of service-oriented MB-programming environment are discussed, including concepts and examples of usage.","PeriodicalId":447065,"journal":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117110715","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Clustered Computing with NetLogo for the evaluation of asynchronous search techniques 用NetLogo进行集群计算的异步搜索技术评价

2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645651

I. Muscalagiu, H. Popa, J. Vidal

{"title":"Clustered Computing with NetLogo for the evaluation of asynchronous search techniques","authors":"I. Muscalagiu, H. Popa, J. Vidal","doi":"10.1109/SoMeT.2013.6645651","DOIUrl":"https://doi.org/10.1109/SoMeT.2013.6645651","url":null,"abstract":"Distributed Constraint programming is a programming approach used to describe and solve large classes of problems such as searching, combinatorial and planning problems. A Distributed Constraint Satisfaction is a constraint satisfaction problem in which variables and constraints are distributed among multiple agents. Modelling and simulation are essential tools in many areas of science and engineering, including computer science. The purpose of this article is to present an open-source tools in NetLogo for implementation and evaluation of the asynchronous searching techniques for a great number of agents, tool that can be run on a cluster of computers. Also, in this paper we have developed a methodology to run the NetLogo models in a cluster computing environment or on a single machine, varying both parameter values and/or random number of agents. Such a tool allows using various search techniques also the evaluation and analysis of performances of the techniques for the asynchronous searching techniques, the study of agents behaviour in several situations, like the priority order of the agents, the synchronous and asynchronous case, apparition of delays in message transmission, leading, therefore, to identifying possible enhancements of the performances of asynchronous search techniques.","PeriodicalId":447065,"journal":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124731422","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

Prediction of project problem effects on software risk factors 预测项目问题对软件风险因素的影响

2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645641

M. Ozgur Cingiz, Ahmet Unudulmaz, O. Kalipsiz

引用次数: 5

A reason to optimize information processing with a core property of natural language 利用自然语言的核心属性来优化信息处理的原因

2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645660

A. Sciullo

引用次数: 5

Dependencies in business process rule hierarchies 业务流程规则层次结构中的依赖关系

2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645663

E. Pulvermüller, A. Speck, Sven Feja, Sören Witt

引用次数: 0

Visualization of movie features in collaborative filtering 协同过滤中电影特征的可视化

2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645674

B. Németh, G. Takács, I. Pilászy, D. Tikk

{"title":"Visualization of movie features in collaborative filtering","authors":"B. Németh, G. Takács, I. Pilászy, D. Tikk","doi":"10.1109/SoMeT.2013.6645674","DOIUrl":"https://doi.org/10.1109/SoMeT.2013.6645674","url":null,"abstract":"In this paper we will describe a modification of the matrix factorization (MF) algorithm which allows visualizing the user and item characteristics. When applying MF for collaborative filtering, we get a model that represents the attributes of users and items by feature vectors. Some elements of these vectors may have understandable meaning for humans but due to the lack of internal connections between the feature vectors, these are difficult to visualize. In this paper we give a detailed description of a MF method enabling better visualization of features by arranging them into a 2D map, where via the calculation of the feature values we try to position features with similar “meaning” close to each other. To achieve this first we define a neighborhood relation on features, then we modify the MF so that we introduce a new term in the error function which penalize the difference between the neighbor features. We show that this modification slightly decrease the accuracy of the model but we get well visualized feature maps. On the feature maps meanings can be associated with regions, and so we can provide an interesting explanation for the user why he/she was recommended the movie. Such plausible explanations may result in that users will better understand how the system works, which can also increase customer loyalty towards the service provider.","PeriodicalId":447065,"journal":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114178534","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 13