Works matching DE "STRUCTURED techniques of electronic data processing"
Results: 46
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:
- 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
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:
- 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:
- 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:
- 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
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Methodology myths.
- Published in:
- Information Systems Management, 1993, v. 10, n. 2, p. 39, doi. 10.1080/10580539308906926
- By:
- Publication type:
- Article
COMPUTERS AND ACCOUNTING SYSTEMS; A BIBLIOGRAPHY.
- Published in:
- Accounting Review, 1956, v. 31, n. 2, p. 278
- By:
- 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:
- 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:
- Publication type:
- Article
PAY-AS-YOU-GO SOFTWARE ARTIFACTS MANAGEMENT.
- Published in:
- Computing & Informatics, 2013, v. 32, n. 4, p. 827
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Guest editorial to the special issue on UML2003.
- Published in:
- 2005
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
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:
- 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:
- 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:
- Publication type:
- Article
Semantic Wikis.
- Published in:
- IEEE Software, 2008, v. 25, n. 4, p. 8, doi. 10.1109/MS.2008.95
- By:
- 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:
- Publication type:
- Article
Satisfying Business Problems.
- Published in:
- IEEE Software, 2007, v. 24, n. 3, p. 18, doi. 10.1109/MS.2007.86
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article