Extension and partitioning of use cases in support of formal object modeling
J Ryoo, JF Stach, EK Park - Proceedings 1999 IEEE …, 1999 - ieeexplore.ieee.org
… sub classification of actors obligates the environmental … sequences, where the sequence
is given a meaningful name in the problem domain of the requirements in which the sequence …
is given a meaningful name in the problem domain of the requirements in which the sequence …
Knowledge representation in the semantic web for Earth and environmental terminology (SWEET)
RG Raskin, MJ Pan - Computers & geosciences, 2005 - Elsevier
… Semantic understanding is enabled through the use of ontologies, or formal representations
… A taxonomy is a subject classification, as used by libraries or clearinghouses to classify …
… A taxonomy is a subject classification, as used by libraries or clearinghouses to classify …
Top 50 most wanted fungi
… receiving scientific attention and formal recognition. In order to … trivial proportion of sequences
simply classified as “Unidentified … In our work with environmental sequencing of fungi, we …
simply classified as “Unidentified … In our work with environmental sequencing of fungi, we …
Blockchain forks: A formal classification framework and persistency analysis
F Schär - The Singapore Economic Review, 2020 - World Scientific
… ∈ { 0 , … , N − 1 } is a sequence number representing the block’s position in the blockchain,
… the dynamic block sequence vector. Figure 1 shows a simple block sequence (or blockchain…
… the dynamic block sequence vector. Figure 1 shows a simple block sequence (or blockchain…
LSCs: Breathing life into message sequence charts
W Damm, D Harel - Formal methods in system design, 2001 - Springer
… ie, the car receives setDest from the environment, the sequence of messages in the chart
should … (infinite) sequences of valuations of instance variables and events. We then classify the …
should … (infinite) sequences of valuations of instance variables and events. We then classify the …
ClassyFire: automated chemical classification with a comprehensive, computable taxonomy
Y Djoumbou Feunang, R Eisner, C Knox… - Journal of …, 2016 - Springer
… in terms of their spherical environment. It employs an easily … Chemical Classification
Dictionary, ChemOnt can be formally … classification tool, then entities or sequences are classified, …
Dictionary, ChemOnt can be formally … classification tool, then entities or sequences are classified, …
Nomenclature for the nameless: a proposal for an integrative molecular taxonomy of cryptic diversity exemplified by planktonic foraminifera
… can be applied to classify genetically defined units using the … existence of nonholophyletic
formally named morphospecies … gene region, environmental sequences lacking by nature an …
formally named morphospecies … gene region, environmental sequences lacking by nature an …
Fungal systematics: is a new age of enlightenment at hand?
DS Hibbett, JW Taylor - Nature Reviews Microbiology, 2013 - nature.com
… on environmental sequences and ask whether sequence-… between formal taxonomy and
species discovery through … with regard to the classification of environmental sequences. The …
species discovery through … with regard to the classification of environmental sequences. The …
[图书][B] A formal framework for analyzing sequence diagram
H Shen - 2013 - search.proquest.com
… Graphical representations of scenarios, such as UML Sequence Diagrams, serve as a
wellaccepted means for modeling the interactions among software systems and their environment …
wellaccepted means for modeling the interactions among software systems and their environment …
A formal ontology-based spatiotemporal mereotopology for integrated product design and assembly sequence planning
E Gruhier, F Demoly, O Dutartre, S Abboudi… - Advanced Engineering …, 2015 - Elsevier
… It is based on ontologies, which formally and explicitly classify and describe concepts within
a specific domain of knowledge [2] with axioms, definitions and theorems [4]. In addition, …
a specific domain of knowledge [2] with axioms, definitions and theorems [4]. In addition, …