Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,760 papers from all fields of science
Search
Sign In
Create Free Account
Operational View
Operational View (OV) is one of the basic views defined in the enterprise architecture (EA) of the Department of Defense Architecture Framework V1.5…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Capability (systems engineering)
Department of Defense Architecture Framework
Enterprise architecture
Enterprise architecture framework
Expand
Broader (1)
Systems engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
A Truly Concurrent Process Calculus over Recyclable Resources
D. Teodosiu
2016
Corpus ID: 40172044
In this paper we present a truly concurrent semantics for deterministic concurrent recursive processes accessing quantified…
Expand
2014
2014
Leveling Transparency via Situated Intermediary Learning Objectives (SILOs)
Dor Abrahamson
,
K. Chase
,
Vishesh Kumar
,
Rishika Jain
International Conference of the Learning Sciences
2014
Corpus ID: 11645206
Author(s): Abrahamson, D; Chase, K; Kumar, V; Jain, R | Abstract: © 2014 ISLS. When designers set out to create a mathematics…
Expand
2010
2010
Operational view of the holographic information bound
K. V. Acoleyen
2010
Corpus ID: 119266162
We study the covariant holographic entropy bound from an operational standpoint. Therefore we consider the physical limit for…
Expand
2010
2010
Collaborative Software Development of Scalable DoD Computational Engineering
C. Atwood
,
S. Adamec
,
D. Post
,
Luanne Handley-Blair
,
M. Murphy
DoD High Performance Computing Modernization…
2010
Corpus ID: 7139238
The Computational Research and Engineering Acquisition Tools and Environments (CREATE) Program is charged with positively…
Expand
2009
2009
Stakeholders' Perception of Success: An Empirical Investigation
Evgenia Egorova
,
Marco Torchiano
,
M. Morisio
,
C. Wohlin
,
A. Aurum
,
Richard Berntsson-Svensson
EUROMICRO Conference on Software Engineering and…
2009
Corpus ID: 15150595
Different stakeholders involved in the software development may attribute success to different indicators. Analogously they may…
Expand
2005
2005
Interaction of Modalities in Cabri: A Case Study
F. Furinghetti
,
F. Morselli
,
D. Paola
2005
Corpus ID: 9209415
In this paper we consider an experiment in which 15 years old students explore a phenomenon of covariance, by using Cabri for…
Expand
2004
2004
An efficient checkpointing protocol for the minimal characterization of operational rollback-dependency trackability
Islene C. Garcia
,
L. E. Buzato
Proceedings of the 23rd IEEE International…
2004
Corpus ID: 13889593
A checkpointing protocol that enforces rollback-dependency trackability (RDT) during the progress of a distributed computation…
Expand
2004
2004
Deriving test sets from partial proofs
G. Lussier
,
H. Waeselynck
IEEE International Symposium on Software…
2004
Corpus ID: 18691144
Proof-guided testing is intended to enhance the test design with information extracted from the argument for correctness. The…
Expand
2002
2002
B2B Integration - Aligning ebXML and Ontology Approaches
B. Hofreiter
,
C. Huemer
EurAsian Conference on Information and…
2002
Corpus ID: 18405999
In B2B e-commerce, XML provides means to exchange data between applications. It does not guarantee interoperability. On the…
Expand
1998
1998
A Theory of Implementation and Refinement in Timed Petri Nets
M. Felder
,
A. Gargantini
,
A. Morzenti
Theoretical Computer Science
1998
Corpus ID: 5217244
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE