Machine Learning Approach for Smart Distribution Management System for Smart Grids

Authors: Wang, Liang, Yu, Zhe, Wang, Fei

Source: 2024 IEEE 2nd International Conference on Electrical, Automation and Computer Engineering (ICEACE) Electrical, Automation and Computer Engineering (ICEACE), 2024 IEEE 2nd International Conference on. :256-263 Dec, 2024

Relation: 2024 IEEE 2nd International Conference on Electrical, Automation and Computer Engineering (ICEACE)

Glyphstream as a Formal Encoding: A Structural Schema for Continuity Preservation Across Sessions and Systems

Authors: Crippin, Suzanne

Subject Terms: research workflows, non-executing specifications, schema versioning, systems design, non-semantic encoding, graph representation, YAML, structural topology, technical note, information architecture, method-level framework, DSL, research infrastructure, boundary conditions, workflow documentation, deterministic reconstruction, schema design, directed graphs, data schema, handover protocols, structural modelling, specification governance, formal grammar, method specification, protocol specification, bounded schema, formal methods, safety by design, Atlas Codex, continuity artefact, workflow continuity, cross-session continuity, serialisation formats, scope limitation, domain-specific language, structural validation, structural encoding, auditability, reproducibility, formal specification, continuity systems, topology preservation, machine-readable encoding, structural compression, invariant preservation, non-executable data, misuse prevention, Crippin's Theory, non-autonomous systems, traceability, inert data structures, JSON schema, continuity preservation, systems architecture, graph-based models, decision topology, Glyphstream, workflow modelling

GLYPHSTREAM: A Structural Compression Protocol for Continuity Preservation in High- Density Cognitive Work

Authors: Crippin, Suzanne

Subject Terms: bounded schemas, non-semantic encoding, workflow continuity, versioning systems, cognitive offloading, information architecture, ai-assisted work, human-computer interaction, lossy compression, schema preservation, research methodology, cognitive systems, structural abstraction, information structure, structural compression, system reconstruction, knowledge representation, atlas codex, crippins theory, long-running projects, glyphstream protocol, design protocols, knowledge systems, continuity preservation, operational continuity, context preservation, systems architecture, decision topology, method specification, technical documentation, formal protocol

Model driven design for e-applications : the meta model approach

Authors: Karagiannis, Dimitris, Hrgovcic, Vedran, Woitsch, Robert

Source: Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services. :451-454

Availability: http://dl.acm.org/doi/10.1145/2095536.2095628

To investigate the fundamental causes of utility air voids content failures in asphalt layers to achieve Specification for the Reinstatement of Openings in Highways (SROH) compliant performance

Authors: Sadique, Monower ^{a, ⁎}, Al-Nageim, Hassan ^a, Stopps, Karl ^b

Source: In Construction and Building Materials 15 September 2015 93:595-607

Comparison of four Method Engineering languages

Authors: Harmsen, F.^Aff4, Saeki, M.^Aff5

Contributors: Brinkkemper, Sjaak, editor^Aff1, Lyytinen, Kalle, editor^Aff2, Welke, Richard J., editor^Aff3

Source: Method Engineering : Principles of method construction and tool support. :209-231

ISO/IEC Standard for Information Technology -- Portable Operating System Interface (POSIX(TM)) -- Test methods for measuring conformance to POSIX -- Part 1: System interfaces -- Amendment 1: Realtime extension (C Language)

Source: ISO/IEC 14515-1:2000/Amd.1:2003 ISO/IEC 14515-1:2000/Amd.1:2003(E). :1-1422 Sep, 2003

Specifying global behaviour in database federations

Authors: Vermeer, Mark W.W., Apers, Peter M.G.

Source: Information Systems. 23:217-233

Subject Terms: EWI-6326, DB-DFDB: DISTRIBUTED OR FEDERATED DATABASES, 0202 electrical engineering, electronic engineering, information engineering, IR-66247, Database Interoperability, 02 engineering and technology, Method Specification, Multidatabases, Semantic Heterogeneity

Access URL: https://research.utwente.nl/en/publications/9f060e3a-4d27-42f1-a5b6-2936028d05f3
https://doi.org/10.1016/S0306-4379(98)00010-6

IEEE Standard for Information Technology - Test Methods Specifications for Measuring Conformance to POSIX(TM) - Part 1: System Application Program Interface (API) - Amendment 1: Realtime Extension [C Language]

Source: IEEE Std 2003.1b-2000. :1-384 Nov, 2000

IEEE Standard for Information Technology - Requirements and Guidelines for Test Methods Specifications and Test Method Implementations for Measuring Conformance to POSIX Standards

Source: IEEE Std 2003-1997. :1-94 Nov, 1997

JML’s Rich, Inherited Specifications for Behavioral Subtypes

Authors: Leavens, Gary

Contributors: Computer Science

Source: Lecture Notes in Computer Science ISBN: 9783540474609

Subject Terms: Theory and Algorithms, JML, 4. Education, behavioral subtyping, Software Engineering, 16. Peace & justice, method specification refinement, also, specification inheritance, Programming Languages and Compilers, specification case, behavioral subtype, invariants, Supertype abstraction, modularity, Java, join of method specifications

File Description: application/pdf

Access URL: https://dr.lib.iastate.edu/bitstreams/17897b5c-e323-4e59-a161-135b99f24af5/download

MEASURING SECURITY PRICE PERFORMANCE USING CHILEAN DAILY STOCK RETURNS: THE EVENT STUDY METHOD

Authors: Saens N., Rodrigo, Sandoval A., Eduardo

Source: Cuadernos de economía, Volume: 42, Issue: 126, Pages: 307-328, Published: NOV 2005

Subject Terms: jel:G14, Event Studies Method, 0502 economics and business, 05 social sciences, 8. Economic growth, Event studies method, specification tests, Specification Tests

File Description: text/html; 787484 bytes; application/pdf

Access URL: http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0717-68212005012600005&lng=en&tlng=en
http://www.economia.uc.cl/docs/126saena.pdf

A TECHNIQUE FOR TESTING HIGHLY RELIABLE REAL-TIME SOFTWARE

Authors: Day Wednesday

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.swtesting.com/stc_trot.PDF.

Subject Terms: Ada, Anna, software reuse, software testing, verification and validation, formal method specification for software testing

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.5862; http://www.swtesting.com/stc_trot.PDF

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.5862
http://www.swtesting.com/stc_trot.PDF

Vhodné přístupy UX Designu při návrhu dětských aplikací ; Appropriate Approaches to UX Design for Designing Children's Applications

Authors: Yaroslava Sydorenko

Contributors: Pavlíček Josef, Buchtela David

Subject Terms: interakce člověk-počítač, uživatelské rozhraní, dětské aplikace, testování použitelnosti, spokojenost uživatelů, UX design, specifikace metodik, human-computer interaction, user interface, children's applications, usability testing, user's satisfaction, method specification

File Description: application/pdf

Relation: http://hdl.handle.net/10467/86175

Availability: http://hdl.handle.net/10467/86175

The programming language standards scene, ten years on Paper 15: Vienna Development Method Specification Language (VDM-SL)

Authors: Parkin, Graeme I.

Source: In Computer Standards & Interfaces 1994 16(5):527-530