In this paper we present an example of a software infrastructure to support domain engineering activities. An important piece of the infrastructure is the ability to connect the outputs of the domain analysis to the i...
详细信息
ISBN:
(数字)9783540460206
ISBN:
(纸本)3540434836
In this paper we present an example of a software infrastructure to support domain engineering activities. An important piece of the infrastructure is the ability to connect the outputs of the domain analysis to the inputs of the domain implementation. the combination of XML and Java provides a very interesting alternative to classical parser generation tools. XML can be used as a specification language to describe programs. In this paper we will describe how to connect the output of a domain analysis tool to a program generator. We will also describe how to use Java and XML tools to write program generators in Oracle9i. We will show how we can specify a search engine application in XML and how the generator can produce code for three different languages: Java Server Pages, PL/SQL, and PL/SQL Server Pages.
this paper presents a two-stage electronic ballast for metal-halide (MH) lamps. the first stage is a single-switch flyback and buck-boost integrated converter. the post stage is a half-bridge inverter driving the MH l...
详细信息
To improve the frequency response of the distribution system after extreme natural disasters, a distribution system recovery method based on virtual synchronous generator (VSG) technology is proposed to solve the prob...
详细信息
We propose a call flow for vertical handover procedure and a soft QoS scheme using dynamic programming (DP) approach for an efficient radio resource management in an environment where several different radio access ne...
详细信息
this paper studies an integrated scheduling problem which consists of production and distribution stages. Jobs are processed on a parallel-batch machine in the production stage, and then transported to customers in th...
详细信息
In this paper, we propose a novel approach to automatic generation of aspect-oriented summaries from multiple documents. We first develop an event-aspect LDA model to cluster sentences into aspects. We then use extend...
详细信息
To obtain clear images from images with different haze levels, a new haze-removing method is proposed based on local edge total variance, which effectively reconstructs a reflected image from the hazy image. We first ...
详细信息
this book constitutes the thoroughly refereed post-conference proceedings of the 7thinternational Workshop on engineering Societies in the Agents World, ESAW 2007, held in Athens, Greece, in October 2007. the 19 revi...
详细信息
ISBN:
(数字)9783540876540
ISBN:
(纸本)9783540876533
this book constitutes the thoroughly refereed post-conference proceedings of the 7thinternational Workshop on engineering Societies in the Agents World, ESAW 2007, held in Athens, Greece, in October 2007. the 19 revised full papers were carefully reviewed and selected for inclusion in this book. the papers are organized in topical sections on electronic institutions, models of complex distributed systems with agents and societies; interaction in agent societies; engineering social intelligence in multi-agent systems; trust and reputation in agent societies; analysis, design and development of agent societies.
this book constitutes the refereed proceedings of the 7thinternational IFIP WG 2.13 conference on Open Source Systems, OSS 2010, held in Salvador, Brazil, in October 2011. the 20 revised full papers presented togethe...
详细信息
ISBN:
(数字)9783642244186
ISBN:
(纸本)9783642244179;9783642269561
this book constitutes the refereed proceedings of the 7thinternational IFIP WG 2.13 conference on Open Source Systems, OSS 2010, held in Salvador, Brazil, in October 2011. the 20 revised full papers presented together with 4 industrial full papers and 8 lightning talks were carefully reviewed and selected from 56 submissions. the papers are organized in the following topical sections: OSS quality and reliability, OSS products, review of technologies of and for OSS, knowledge and research building in OSS, OSS reuse, integration, and compliance, OSS value and economics, OSS adoption in industry, and mining OSS repositories.
this volume contains the proceedings of the 10thinternationalconference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th t...
详细信息
ISBN:
(数字)9783540247302
ISBN:
(纸本)9783540212997
this volume contains the proceedings of the 10thinternationalconference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint conferences on theory and Practice of Software (ETAPS 2004), whose aims, organization, and history are detailed in a foreword by the ETAPS Steering Committee Chair, Jos´ e Luiz Fiadeiro. TACAS is a forum for researchers, developers, and users interested in ri- rously based tools for the construction and analysis of systems. the conference serves to bridge the gaps between di?erent communities including, but not - mited to, those devoted to formal methods, software and hardware veri?cation, static analysis, programming languages, software engineering, real-time systems, and communication protocols that share common interests in, and techniques for, tool development. In particular, by providing a venue for the discussion of common problems, heuristics, algorithms, data structures, and methodologies, TACAS aims to support researchers in their quest to improve the utility, rel- bility, ?exibility, and e?ciency of tools for building systems. TACASseekstheoreticalpaperswithaclearlinktotoolconstruction,papers describingrelevantalgorithmsandpracticalaspectsoftheirimplementation,- pers giving descriptions of tools and associated methodologies, and case studies with a conceptual message.
暂无评论