Sebanyak 151 item atau buku ditemukan

Modelling Foundations and Applications

8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings

This book constitutes the refereed proceedings of the 8th European Conference on Modelling Foundations and Applications, held in Kgs. Lyngby, Denmark, in July 2012. The 20 revised full foundations track papers and 10 revised full applications track papers presented were carefully reviewed and selected from 81 submissions. Papers on all aspects of MDE were received, including topics such as architectural modelling and product lines, code generation, domain-specic modeling, metamodeling, model analysis and verication, model management, model transformation and simulation. The breadth of topics, as well as the high quality of the results presented in these accepted papers, demonstrate the maturity and vibrancy of the field.

Contemporary software systems contain a large number of artifacts expressed in
multiple languages, ranging from domain-specific languages to general purpose
languages. These artifacts are interrelated to form software systems. Existing
development environments insufficiently support handling relations between
artifacts in multiple languages. This paper presents a taxonomy for multi-
language development environments, organized according to language
representation, ...

Smart Engineering System Design

Neural Networks, Fuzzy Logic, Evolutionary Programming, Data Mining and Complex Systems : Proceedings of the Artificial Neural Networks in Engineering Conference (ANNIE 2001), Held November 4-7, 2001, in St. Louis, Missouri, U.S.A.

Neural Networks, Fuzzy Logic, Evolutionary Programming, Data Mining and
Complex Systems : Proceedings of the Artificial Neural Networks in Engineering
Conference (ANNIE 2001), Held November 4-7, 2001, in St. Louis, Missouri,
U.S.A.. trading, the same scenario applies as for the long trading, except now not
only is the position sold during the first sell signal after a buy, but a short position
is also taken (selling borrowed shares, hoping to buy them back at a lower cost).
When the ...

Smart Engineering System Design

Neural Networks, Fuzzy Logic, Evolutionary Programming, Complex Systems and Artificial Life : Proceedings of the Artificial Neural Networks in Engineering Conference (ANNIE 2003) : Held November 2-5, 2003, in St. Louis, Missouri, U.S.A.

The newest volume in this series presents refereed papers in the following categories and their applications in the engineering domain: Neural Networks; Complex Networks; Evolutionary Programming; Data Mining; Fuzzy Logic; Adaptive Control; Pattern Recognition; Smart Engineering System Design. These papers are intended to provide a forum for researchers in the field to exchange ideas on smart engineering system design.

The following figures and tables present in details the optimized results using
multi methods on highly capitalized US and Canadian stock market, portfolio
composition from different sectors, how neural network pattern day trader makes
profit, and possible prediction of market failure. Factors considered are as follows
: CPP method sample: We begin with first hour's trading data and predict next
hour's data and then using the next hour's trading data to predict one more hour
further till it ...

Smart Systems Engineering

Infra-structure Systems Engineering, Bio-informatics and Computational Biology and Evolutionary Computation : Proceedings of the Artificial Neural Networks in Engineering Conference (ANNIE 2006) : Held November 6-8, 2006, in St. Louis, Missouri, U.S.A.

The ultimate goal is to understand the effects of evolution of trading strategies on
different agent behavior, as well as the market architecture. The market structure
consists of several major parts: agent types, agent trading rules, securities, price
formation, and evolution. Security: The security structure of the market is relatively
simple since the focus is on investor behavior under changing market outcomes.
Therefore, there is only one stock for trading and this stock does not pay a ...

UML 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools

5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings

Five years on from its adoption in 1997 by the Object Management Group (OMG), the Uni?ed Modeling Language is the de facto standard for creating - agrammatic models of software systems. More than 100 books have been written about UML, and it is taught to students throughout the world. The de?nition of UML version 2 is well under way, and should be largely completed within the year. This will not only improve and enhance UML itself, including standard facilities for diagram interchange, but also make it fully integrated with other modeling technologies from the OMG, such as Meta-Object Facility (MOF) and XML Metadata Interchange (XMI). The Object Constraint Language, which has become an important vehicle for communicating detailed insights between UML researchers and practitioners, will have a much expanded speci?cation and be better integrated with the UML. The popularity of UML signi?es the possibility of a shift of immense prop- tions in the practice of software development, at least comparable to the shift from the use of assembly language to “third-generation” or “high-level” p- gramming languages. We dream of describing the behavior of software systems in terms of models, closely related to the needs of the enterprise being served, and being able to routinely translate these models automatically into executing p- grams on distributed computing systems. The OMG is promoting Model-Driven Architecture (MDA) as a signi?cant step towards this vision, and the MDA c- cept has received considerable support within the IT industry.

More than 100 books have been written about UML, and it is taught to students throughout the world. The de?nition of UML version 2 is well under way, and should be largely completed within the year.

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications

6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on the Unified Modelling Language, UML 2003, held in San Francisco, CA, USA in October 2003. The 25 revised full papers, 4 tool papers, and 1 experience paper presented together with the abstracts of 3 invited talks and summaries on the UML 2003 workshop and tutorials were carefully reviewed and selected from initially 168 submissions. The papers are organized in topical sections on practical model management, time and quality of service, tools, composition and architecture, transformation, Web related issues, testing and validation, improving UML/OCL, consistency, and methodology.

This book constitutes the refereed proceedings of the 6th International Conference on the Unified Modelling Language, UML 2003, held in San Francisco, CA, USA in October 2003.

Field-Programmable Logic: Architectures, Synthesis and Applications

4th International Workshop on Field-Programmable Logic and Applications, FPL'94, Prague, Czech Republic, September 7 - 9, 1994. Proceedings

This volume contains the proceedings of the 4th International Workshop on Field-Programmable Logic and Applications (FPL '94), held in Prague, Czech Republic in September 1994. The growing importance of field-programmable devices is substantiated by the remarkably high number of 116 submissions for FPL '94; from them, the revised versions of 40 full papers and 24 high-quality poster presentations were accepted for inclusion in this volume. Among the topics treated are: testing, layout, synthesis tools, compilation research and CAD, trade-offs and experience, innovations and smart applications, FPGA-based computer architectures, high-level design, prototyping and ASIC emulators, commercial devices, new tools, CCMs and HW/SW co-design, modelers, educational experience, and novel architectures.

A special purpose processor originally designed for Monte-Carlo simulation
using Metropolis type algorithms has been reconfigured to allow the use of a new
improved class of Monte-Carlo algorithm without compromising the processor's
performance. 1 Introduction In Monte-Carlo simulations and digital signal
processing applications it has often proved advantageous to use specially
constructed processors in place of general purpose computers. SRAM-bascd
Field Programmable ...

Field-Programmable Logic and Applications

13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings

This book constitutes the refereed proceedings of the 13th International Conference on Field-Programmable Logic and Applications, FPL 2003, held in Lisbon, Portugal in September 2003. The 90 revised full papers and 56 revised poster papers presented were carefully reviewed and selected from 216 submissions. The papers are organized in topical sections on technologies and trends, communications applications, high level design tools, reconfigurable architecture, cryptographic applications, multi-context FPGAs, low-power issues, run-time reconfiguration, compilation tools, asynchronous techniques, bio-related applications, codesign, reconfigurable fabrics, image processing applications, SAT techniques, application-specific architectures, DSP applications, dynamic reconfiguration, SoC architectures, emulation, cache design, arithmetic, bio-inspired design, SoC design, cellular applications, fault analysis, and network applications.

13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003,
Proceedings Peter Y.K. Cheung, Georg A. Constantinides Jose T. de Sousa. An
Algorithm Designer's Workbench for Platform FPGAs⋆ Sumit Mohanty and Viktor
K. Prasanna Electrical Engineering Systems, University of Southern California,
CA, USA, {smohanty ...

Field Programmable Logic and Application

14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Field-Programmable Logic, FPL 2003, held in Leuven, Belgium in August/September 2004. presented together with 3 keynote contributions and 3 tutorial summaries were carefully reviewed and selected from 285 papers submitted. computing, security and cryptography, platform-based design, algorithms and architectures, acceleration application, architecture, physical design, arithmetic, multitasking, circuit technology, network processing, testing, applications, signal processing, computational models and compiler, dynamic reconfiguration, networks and optimisation algorithms, system-on-chip, high-speed design, image processing, network-on-chip, power-aware design, IP-based design, co-processing architectures, system level design, physical interconnect, computational models, cryptography and compression, network applications and architecture, and debugging and teSt.

14th International Conference , FPL 2004, Leuven, Belgium, August 30-
September 1, 2004, Proceedings Jürgen Becker, Marco Platzner Serge Vernalde
. Execution Speed of the Pattern Recognition Algorithm for ATLAS – High Energy
Physics Experiment Christian Hinkelbein, Andrei Khomich, Andreas Kugel,
Reinhard Männer, and Matthias Müller Institute of Computer Science V,
University of Mannheim, B6, 23-29, 68131, Mannheim, Germany {hinkelbein,
khomich, kugel, maenner, ...

Logic at Botik '89

Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings

The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations, lambda calculus and related topics, foundations of logic programming, logical foundations of database theory, logics for knowledge representation, modal and temporal logics, type theory in programming, and verification of programs. Thus, the papers in this volume represent many interesting trends in logical foundations of Computer Science, ranging from purely theoretical research to practical applications of theory.

Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky,
USSR, July 3-8, 1989, Proceedings Albert R. Meyer, Michael A. Taitslin. A
mathematical modeling of pure, recursive algorithms Yiannis. N. Moschovakis*
Department of Mathematics, UCLA ...