2009 33rd Annual IEEE Software Engineering Workshop最新文献

Decentralized Reasoning in Ambient Intelligence 环境智能中的分散推理

2009 33rd Annual IEEE Software Engineering Workshop Pub Date : 2012-05-24 DOI: 10.1007/978-1-4471-4168-6

J. V. Filho, M. Endler

引用次数: 10

A Realistic Model of Real-Time Systems for Efficient Scheduling 高效调度实时系统的现实模型

2009 33rd Annual IEEE Software Engineering Workshop Pub Date : 2009-10-13 DOI: 10.1109/SEW.2009.16

C. Fotsing, Annie Choquet-Geniet, G. Vidal-Naquet

引用次数: 4

Using Business Processes in System Requirements Definition 在系统需求定义中使用业务流程

2009 33rd Annual IEEE Software Engineering Workshop Pub Date : 2009-10-13 DOI: 10.1109/SEW.2009.8

E. A. Carvalho, Tatiana Escovedo, R. Melo

引用次数: 11

Automatic Classification of Software Change Request Using Multi-label Machine Learning Methods 基于多标签机器学习方法的软件变更请求自动分类

2009 33rd Annual IEEE Software Engineering Workshop Pub Date : 2009-10-13 DOI: 10.1109/SEW.2009.15

S. Ahsan, Javed Ferzund, F. Wotawa

引用次数: 9

Data Warehousing in an Industrial Software Development Environment 工业软件开发环境中的数据仓库

2009 33rd Annual IEEE Software Engineering Workshop Pub Date : 2009-10-13 DOI: 10.1109/SEW.2009.7

Methanias Colaço, Manoel G. Mendonça, F. Rodrigues

引用次数: 14

Autonomous and Autonomic Systems: Paradigm for Engineering Effective Software-Based Systems? 自主和自主系统:工程有效的基于软件的系统的范例?

2009 33rd Annual IEEE Software Engineering Workshop Pub Date : 2009-10-13 DOI: 10.1109/SEW.2009.22

Roy Sterritt

{"title":"Autonomous and Autonomic Systems: Paradigm for Engineering Effective Software-Based Systems?","authors":"Roy Sterritt","doi":"10.1109/SEW.2009.22","DOIUrl":"https://doi.org/10.1109/SEW.2009.22","url":null,"abstract":"The Autonomous and Autonomic Systems initiative has as its vision the creation of self-directed and self-managing systems to address today’s concerns of complexity and total cost of ownership while meeting tomorrow’s needs for pervasive and ubiquitous software-based computation and communication. The future of computing and communications is being researched under many areas, including cloud, grid, utility, pervasive, ubiquitous, invisible, world, ambient, paint and so forth. The driving force behind these future paradigms of computer-based systems is the increasing convergence between proliferation of devices, wireless networking, and mobile software. Weiser first described what has become known as ubiquitous computing as the move away from the “dramatic” machine, where hardware and software’s focus was on being so exciting that we as users would not want to be without it, towards making the machine “invisible”, so embedded in our lives it is used without thinking or recognising it as computing. Behind these different terms and research areas, lie three key properties: nomadic, embedded and invisible. In effect, leading to, the creation of a single system with (potentially) billions of networked information devices and resulting in a Complexity Quagmire? As such, the case can be made that all of the next generation paradigms, in one form or another, will require an autonomic–self-managing–infrastructure to be able to provide the successful reality of this envisaged level of pervasiveness, invisibility and mobility. This keynote talk reports on research and development, with examples from Biometric Identification and Tracking Systems, Autonomic Communications, and Space Exploration Systems, utilizing the biological metaphor of the autonomic nervous system to computing and communications, in which computer-based systems self-regulate by using automatic reactions to defend, optimize and heal.","PeriodicalId":252007,"journal":{"name":"2009 33rd Annual IEEE Software Engineering Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133915443","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}

引用次数: 1

A Study Case about a Software Project Management Success Metrics 一个关于软件项目管理成功度量的研究案例

2009 33rd Annual IEEE Software Engineering Workshop Pub Date : 2009-10-13 DOI: 10.1109/SEW.2009.14

R. T. O. Lacerda, L. Ensslin, S. Ensslin

引用次数: 12

A Knowledge Representation and Data Provenance Model to Self-Tuning Database Systems 自调优数据库系统的知识表示和数据来源模型

2009 33rd Annual IEEE Software Engineering Workshop Pub Date : 2009-10-13 DOI: 10.1109/SEW.2009.25

Ana Carolina Almeida, Sérgio Lifschitz, K. Breitman

引用次数: 2

An Adaptative Framework Architecture for RFID Applications 一种RFID应用的自适应框架架构

2009 33rd Annual IEEE Software Engineering Workshop Pub Date : 2009-10-13 DOI: 10.1109/SEW.2009.9

Leonardo A. Amaral, Fabiano Hessel, E. Bezerra, J. C. Corrêa, Oliver B. Longhi, Thiago F. O. Dias

引用次数: 8

Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language 一种概率定时共享变量语言的运算语义与代数语义的联系

2009 33rd Annual IEEE Software Engineering Workshop Pub Date : 2009-10-13 DOI: 10.1109/SEW.2009.17

Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, J. Sanders

{"title":"Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language","authors":"Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, J. Sanders","doi":"10.1109/SEW.2009.17","DOIUrl":"https://doi.org/10.1109/SEW.2009.17","url":null,"abstract":"Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formalize languages comprising all these features. We have integrated probability, time and concurrency in one single model (called PTSC) [24], where the concurrency feature is modelled using shared-variable based communication. Meanwhile, we have also explored the link between the operational semantics and algebraic semantics [20], where our approach was started from algebraic laws via head normal form. This paper considers the animation of the link between operational semantics and algebraic semantics for PTSC. Our approach is by using Prolog as the development language. Firstly we explore the animation of the operational semantics for PTSC. The link of the two semantics is proceeded via the concept of head normal form. Secondly the generation of head normal form is explored, especially the animation of parallel expansion laws. Finally we consider the animation of deriving operational semantics by a provided derivation strategy via head normal form. The results animated from the first and the third exploration indicate that our operational semantics is sound and complete with respect to head normal form (or algebraic laws in general).","PeriodicalId":252007,"journal":{"name":"2009 33rd Annual IEEE Software Engineering Workshop","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124421101","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