Works matching DE "STRUCTURED techniques of electronic data processing"

Results: 46

Modernization of a conceptual model of a data bank for physicotechnical effects based on contemporary information technology.

Published in:

Measurement Techniques, 2007, v. 50, n. 1, p. 7, doi. 10.1007/s11018-007-0013-7

By:

O. Shikul’skaya;
É. Nezametdinova

Publication type:

Article

Invariants of reflectometry curves and the structural features of thin films.

Published in:

Crystallography Reports, 2006, v. 51, n. 1, p. 110, doi. 10.1134/S1063774506010196

By:

Astaf’ev, S. B.;
Shchedrin, B. M.;
Yanusova, L. G.

Publication type:

Article

Individueller Quellcode: Ein Konzept für Fallgruppen zur Feststellung hinreichender Individualität von Quellcode für urheberrechtlichen Schutz.

Published in:

Computer und Recht, 2018, v. 34, n. 11, p. 699, doi. 10.9785/cr-2018-341104

By:

Straker, Christian;
Wehkamp, Nils

Publication type:

Article

Search-based structured prediction.

Published in:

Machine Learning, 2009, v. 75, n. 3, p. 297, doi. 10.1007/s10994-009-5106-x

By:

Daumé, Hal;
Langford, John;
Marcu, Daniel

Publication type:

Article

Enabling scalable parallel implementations of structured adaptive mesh refinement applications.

Published in:

Journal of Supercomputing, 2007, v. 39, n. 2, p. 177, doi. 10.1007/s11227-007-0110-z

By:

Chandra, Sumir;
Li, Xiaolin;
Saif, Taher;
Parashar, Manish

Publication type:

Article

A Hybrid Technique for Quality of Service Evaluation of Cellular Wireless Networks.

Published in:

International Journal of Advanced Research in Computer Science, 2012, v. 3, n. 3, p. 62

By:

Oborkhale, Lawrence;
Salatian, Apkar;
Onoh, Gregory;
James, Eke

Publication type:

Article

EQUIVALENCE CHECKING OF COMMUNICATING UML STATECHART DIAGRAMS.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2012, v. 22, n. 2, p. 265, doi. 10.1142/S0218194012500076

By:

LAM, VITUS S. W.;
PADGET, JULIAN

Publication type:

Article

FORMAL SPECIFICATION APPROACH OF ROLE DYNAMICS IN AGENT ORGANISATIONS:: APPLICATION TO THE SATISFACTION-ALTRUISM MODEL.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2007, v. 17, n. 5, p. 615, doi. 10.1142/S0218194007003392

By:

HILAIRE, VINCENT;
GRUER, PABLO;
KOUKAM, ABDER;
SIMONIN, OLIVIER

Publication type:

Article

BRINGING THE AGILE PHILOSOPHY TO FORMAL SPECIFICATION SETTINGS.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2006, v. 16, n. 6, p. 951, doi. 10.1142/S0218194006003075

By:

LÓPEZ-NORES, MARTÍN;
PAZOS-ARIAS, JOSÉ J.;
GARCÍA-DUQUE, JORGE;
BLANCO-FERNÁNDEZ, YOLANDA;
DÍAZ-REDONDO, REBECA P.;
FERNÁNDEZ-VILAS, ANA;
GIL-SOLLA, ALBERTO;
RAMOS-CABRER, MANUEL

Publication type:

Article

Modelling evolvable component systems.

Published in:

Logic Journal of the IGPL, 2009, v. 17, n. 6, p. 631, doi. 10.1093/jigpal/jzp026

By:

Barringer, Howard;
Gabbay, Dov;
Rydeheard, David

Publication type:

Article

An AHP model for selection of suppliers in the fast changing fashion market.

Published in:

International Journal of Advanced Manufacturing Technology, 2010, v. 51, n. 9-12, p. 1195, doi. 10.1007/s00170-010-2683-6

By:

Chan, Felix;
Chan, Hing

Publication type:

Article

Methodology myths.

Published in:

Information Systems Management, 1993, v. 10, n. 2, p. 39, doi. 10.1080/10580539308906926

By:

Plyler, Robert W.;
Young-Gul Kim

Publication type:

Article

A multi-layered framework for disseminating knowledge for computer-based decision support.

Published in:

Journal of the American Medical Informatics Association, 2011, v. 18, p. i132, doi. 10.1136/amiajnl-2011-000334

By:

Boxwala, Aziz A.;
Rocha, Beatriz H.;
Maviglia, Saverio;
Kashyap, Vipul;
Meltzer, Seth;
Jihoon Kim;
Tsurikova, Ruslana;
Wright, Adam;
Paterno, Marilyn D.;
Fairbanks, Amanda;
Middleton, Blackford

Publication type:

Article

Model-driven design and implementation of discrete event control for a machine tool control system.

Published in:

International Journal of Computer Integrated Manufacturing, 2007, v. 20, n. 6, p. 548, doi. 10.1080/09511920600939849

By:

Liu, Y.;
Li, W.;
Yamazaki, K.;
Fujishima, M.

Publication type:

Article

Refinement in statechart testing<FNR></FNR><FN>A version of this paper was originally presented at SoftTest II: The Second U.K. Workshop on Software Testing Research, held at the University of York, U.K., 4–5 September 2003. It is reproduced here in modified form with the permission of the Workshop organizers </FN>

Published in:

Software Testing: Verification & Reliability, 2004, v. 14, n. 3, p. 189, doi. 10.1002/stvr.301

By:

Bogdanov, K.;
Holcombe, M.

Publication type:

Article

A test sequence selection method for statecharts.

Published in:

Software Testing: Verification & Reliability, 2000, v. 10, n. 4, p. 203, doi. 10.1002/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2

By:

Hyoung Seok Hong;
Young Gon Kim;
Sung Deok Cha;
Doo Hwan Bae;
Ural, Hasan

Publication type:

Article

A DETAILED PERFORMANCE ANALYSIS OF THE INTERPOLATION SUPPLEMENTED LATTICE BOLTZMANN METHOD ON THE CRAY T3E AND CRAY X1.

Published in:

International Journal of High Performance Computing Applications, 2006, v. 20, n. 4, p. 557, doi. 10.1177/1094342006064572

By:

Sunder, C. Shyam;
Baskar, G.;
Babu, V.;
Strenski, David

Publication type:

Article

SCALABILITY MODELING FOR DETERMINISTIC PARTICLE TRANSPORT SOLVERS.

Published in:

International Journal of High Performance Computing Applications, 2006, v. 20, n. 4, p. 541, doi. 10.1177/1094342006064571

By:

Dahmani, Mohamed;
Roy, Robert

Publication type:

Article

Reply to Comments on "An Interval Logic for Real-Time System Specification"

Published in:

IEEE Transactions on Software Engineering, 2006, v. 32, n. 6, p. 428, doi. 10.1109/TSE.2006.57

By:

Bellini, Pierfrancesco;
Nesi, Paolo;
Rogai, Davide

Publication type:

Article

Assessing and Improving State-Based Class Testing: A Series of Experiments.

Published in:

IEEE Transactions on Software Engineering, 2004, v. 30, n. 11, p. 770, doi. 10.1109/TSE.2004.79

By:

Briand, Lionel C.;
di Penta, Massimiliano;
Labiche, Yvan

Publication type:

Article

Optimizing Symbolic Model Checking for Statecharts.

Published in:

IEEE Transactions on Software Engineering, 2001, v. 27, n. 2, p. 170, doi. 10.1109/32.908961

By:

Chan, William;
Anderson, Richard J.;
Beame, Paul;
Jones, David H.;
Notkin, David;
Warner, William E.

Publication type:

Article

Modeling of Dynamical System Piloted by Discrete Subsystem Based on Bond Graph Approach.

Published in:

International Journal of Electrical & Computer Engineering (2088-8708), 2017, v. 7, n. 5, p. 2902, doi. 10.11591/ijece.v7i5.pp2902-2910

By:

J., Ben Salem;
M. N., Lakhoua;
L., El Amraoui

Publication type:

Article

Approach of analysis of structured methods used for real time applications.

Published in:

Journal of Computer Science & Control Systems, 2010, v. 3, n. 1, p. 97

By:

Lakhoua, Mohamed Najeh

Publication type:

Article

PAY-AS-YOU-GO SOFTWARE ARTIFACTS MANAGEMENT.

Published in:

Computing & Informatics, 2013, v. 32, n. 4, p. 827

By:

Ying PAN;
Yong TANG

Publication type:

Article

Partitioning of perfect synchroneous reactive specifications to distributed processors using μ-charts.

Published in:

Software & Systems Modeling, 2006, v. 5, n. 1, p. 13, doi. 10.1007/s10270-005-0094-1

By:

Scholz, Peter

Publication type:

Article

Guest editorial to the special issue on UML2003.

Published in:

2005

By:

Stevens, Perdita;
Whittle, Jon

Publication type:

Editorial

Automated support for deriving test requirements from UML statecharts.

Published in:

Software & Systems Modeling, 2005, v. 4, n. 4, p. 399, doi. 10.1007/s10270-005-0090-5

By:

Briand, L. C.;
Labiche, Y.;
Cui, J.

Publication type:

Article

Plug-and-play composition of features and feature interactions with statechart diagrams.

Published in:

Software & Systems Modeling, 2004, v. 3, n. 3, p. 221, doi. 10.1007/s10270-003-0040-z

By:

Prehofer, Christian

Publication type:

Article

An automated system for detecting and reporting trespassing bears in Yosemite National Park.

Published in:

Ursus, 2007, v. 18, n. 2, p. 230, doi. 10.2192/1537-6176(2007)18[230:AASFDA]2.0.CO;2

By:

Breck, Stewart W.;
Lance, Nathan;
Bourassa, Jean;
Matthews, Sean;
Seher, Victoria

Publication type:

Article

BACK PROPAGATION NETWORK BASED BRAIN TUMOR CLASSIFICATION IN MAGNETIC RESONANCE IMAGES.

Published in:

i-Manager's Journal on Computer Science, 2017, v. 5, n. 1, p. 14, doi. 10.26634/jcom.5.1.13793

By:

RAJESH, L.;
KAAVIYA

Publication type:

Article

Making Tough Choices: Picking the Appropriate Conservation Decision‐Making Tool.

Published in:

Conservation Letters, 2018, v. 11, n. 2, p. 1, doi. 10.1111/conl.12418

By:

Bower, Shannon D.;
Brownscombe, Jacob W.;
Birnie‐Gauvin, Kim;
Ford, Matthew I.;
Moraga, Andrew D.;
Pusiak, Ryan J. P.;
Turenne, Eric D.;
Zolderdo, Aaron J.;
Cooke, Steven J.;
Bennett, Joseph R.

Publication type:

Article

GraphConnect: Framework of Discovering Closed Highly Connected Pattern from Semistructured Dataset.

Published in:

International Review on Computers & Software, 2008, v. 3, n. 1, p. 76

By:

Gaol, F. L.;
Widjaja, B.

Publication type:

Article

Measuring diversity in medical reports based on categorized attributes and international classification systems.

Published in:: BMC Medical Informatics & Decision Making, 2012, v. 12, n. 1, p. 31, doi. 10.1186/1472-6947-12-31
Publication type:: Article

Semantic Wikis.

Published in:

IEEE Software, 2008, v. 25, n. 4, p. 8, doi. 10.1109/MS.2008.95

By:

Schaffert, Sebastian;
Bry, François;
Baumeister, Joachim;
Kiesel, Malte

Publication type:

Article

Silver Bullets and Other Mysteries.

Published in:

IEEE Software, 2007, v. 24, n. 3, p. 22, doi. 10.1109/MS.2007.88

By:

Spinellis, Diomidis

Publication type:

Article

Satisfying Business Problems.

Published in:

IEEE Software, 2007, v. 24, n. 3, p. 18, doi. 10.1109/MS.2007.86

By:

Vickers, Andy

Publication type:

Article

Why Are Small Software Organizations Different?

Published in:

IEEE Software, 2007, v. 24, n. 1, p. 18, doi. 10.1109/MS.2007.12

By:

Richardson, Ita;
von Wangeheim, Christiane Gresse

Publication type:

Article

The Separation Principle: A Programming Paradigm.

Published in:

IEEE Software, 2004, v. 21, n. 2, p. 78, doi. 10.1109/MS.2004.1270767

By:

Kambayashi, Yasushi;
F., Ledgard, Henry

Publication type:

Article

Structure, behavior, and function of complex systems: The structure, behavior, and function modeling language.

Published in:: AI EDAM, 2009, v. 23, n. 1, p. 23, doi. 10.1017/S0890060409000080
Publication type:: Article

Analytic Hierarchy Process Expansion for Innovation Performance Measurement Framework.

Published in:

Journal of Engineering (2314-4912), 2013, p. 1, doi. 10.1155/2013/632845

By:

Song-Kyoo Kim

Publication type:

Article

Design of Traffic Light Control Systems Using Statecharts.

Published in:

Computer Journal, 2006, v. 49, n. 6, p. 634, doi. 10.1093/comjnl/bxl032

By:

Yi-Sheng Huang

Publication type:

Article

A blind policy for equalizing cumulative idleness.

Published in:

Queueing Systems, 2011, v. 67, n. 4, p. 275, doi. 10.1007/s11134-011-9212-7

By:

Atar, Rami;
Shaki, Yair Y.;
Shwartz, Adam

Publication type:

Article

Simulation-based analysis of UML statechart diagrams: methods and case studies.

Published in:

Software Quality Journal, 2008, v. 16, n. 1, p. 45, doi. 10.1007/s11219-007-9020-9

By:

Jiexin Lian;
Zhaoxia Hu;
Sol Shatz

Publication type:

Article

THE WEAPON SYSTEMS MANAGEMENT CONCEPT AND ELECTRONIC DATA PROCESSING.

Published in:

Management Science, 1960, v. 6, n. 2, p. 149, doi. 10.1287/mnsc.6.2.149

By:

Rosenzweig, Jim

Publication type:

Article

COMPUTERS AND ACCOUNTING SYSTEMS; A BIBLIOGRAPHY.

Published in:

Accounting Review, 1956, v. 31, n. 2, p. 278

By:

Gregory, Robert H.

Publication type:

Article

Rethinking of Teaching Objects-First.

Published in:

Education & Information Technologies, 2004, v. 9, n. 3, p. 209, doi. 10.1023/B:EAIT.0000042040.90232.88

By:

Hu, Chenglie

Publication type:

Article