R > Formal | BibSonomy

публикации (спрятать)58
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...

1Benefits of Entrepreneurship, an Analysis for Its Determination
D. Bustillos-Varela. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (1): 1684-1688 (декабря 2021)
3 лет назад , @ijtsrd
Business
Self-employment
Progress
in
Opportunity
Entrepreneurship
Formal
BusinessSelf-employmentProgressinOpportunityEntrepreneurshipFormal
копироватьудалитьдобавить публикацию в буфер
1DIGITAL WATERMARKING TECHNIQUE BASED ON MULTI-RESOLUTION CURVELET TRANSFORM
S. Ranjeeta Kaushik, и L. Raheja. International Journal in Foundations of Computer Science & Technology (IJFCST), 7 (02): 01-14 (марта 2017)
3 лет назад , @usmankhawaja
Algorithms
Novel
Games
Combinatorial
and
structures
Automata
Data
Formal
Languages
AlgorithmsNovelGamesCombinatorialandstructuresAutomataDataFormalLanguages
копироватьудалитьдобавить публикацию в буфер
2Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switching
J. Diemer, D. Thiele, и R. Ernst. Industrial Embedded Systems (SIES), 2012 7th IEEE International Symposium on, стр. 1-10. (июня 2012)
11 лет назад , @eberle18
ethernet
formal
worst
analysis
avb
ethernetformalworstanalysisavb
копироватьудалитьдобавить публикацию в буфер
1Model Based Requirements Specification and Validation for Component Architectures
I. Cardei, M. Fonoage, и R. Shankar. Systems Conference, 2008 2nd Annual IEEE, стр. 1--8. (апреля 2008)
12 лет назад , @fritzsolms
based
validation;
development
ruled-based
(artificial
programming;
{XMI}
architectures;
quality
Unified
structure
diagrams;
formal
system
component
{SysML}
ontology-based
requirements
automation;
driven
functional
development;
representation;
requirements;
object-oriented
specification;
Prolog;
Modeling
component-based
service;
{analysisOWL};
systems
cycle;
design
of
system;
Language
intelligence);
model
knowledge
language;
systems;
{UML/SysML}
ontologies
basedvalidation;developmentruled-based(artificialprogramming;{XMI}architectures;qualityUnifiedstructurediagrams;formalsystemcomponent{SysML}ontology-basedrequirementsautomation;drivenfunctionaldevelopment;representation;requirements;object-orientedspecification;Prolog;Modelingcomponent-basedservice;{analysisOWL};systemscycle;designofsystem;Languageintelligence);modelknowledgelanguage;systems;{UML/SysML}ontologies
копироватьудалитьдобавить публикацию в буфер
1Towards a language for coherent enterprise architecture descriptions
H. Jonkers, R. van Burren, F. Arbab, F. de Boer, M. Bonsangue, H. Bosma, H. ter Doest, L. Groenewegen, J. Scholten, S. Hoppenbrouwers и 8 other автор(ы). Enterprise Distributed Object Computing Conference, 2003. Proceedings. Seventh IEEE International, стр. 28-- 37. IEEE, (сентября 2003)
12 лет назад , @fritzsolms
Business
Unified
domain;
design;
Language;
corporate
concepts;
complicated
change
Software
architectural
Instruments;
modeling
organization-independent
Visualization;
description;
descriptions;
enterprise
description
uml;
modelling;
systems
processes;
processing;
Application
alignment;
Architecture
specification
communication;
application
generic
modeling;
formal
Architecture;
software;
requirements
Description
languages;
coherent
data
architecture;
analysis;
Wheels
science;
specification;
layer;
{business-IT}
Computer
business
language;
architecture
systems;
BusinessUnifieddomain;design;Language;corporateconcepts;complicatedchangeSoftwarearchitecturalInstruments;modelingorganization-independentVisualization;description;descriptions;enterprisedescriptionuml;modelling;systemsprocesses;processing;Applicationalignment;Architecturespecificationcommunication;applicationgenericmodeling;formalArchitecture;software;requirementsDescriptionlanguages;coherentdataarchitecture;analysis;Wheelsscience;specification;layer;{business-IT}Computerbusinesslanguage;architecturesystems;
копироватьудалитьдобавить публикацию в буфер
1A syntactic theory of software architecture
T. Dean, и J. Cordy. IEEE Transactions on Software Engineering, 21 (4): 302--313 (апреля 1995)
12 лет назад , @fritzsolms
Connectors;
connections;
engineering;
technology;
nodes;
syntactic
structure;
diagrams;
formal
typed
Councils;
abstraction;
Taxonomy;
Architecture;
diagrammatic
theory;
Software
Pattern
matching;
theory
Set
subsystem;
languages;
software
architecture;
science;
Information
type
Computer
syntax;
extensible
language;
architecture
Connectors;connections;engineering;technology;nodes;syntacticstructure;diagrams;formaltypedCouncils;abstraction;Taxonomy;Architecture;diagrammatictheory;SoftwarePatternmatching;theorySetsubsystem;languages;softwarearchitecture;science;InformationtypeComputersyntax;extensiblelanguage;architecture
копироватьудалитьдобавить публикацию в буфер
1Using formal specifications to support testing.
R. Hierons, K. Bogdanov, J. Bowen, R. Cleaveland, J. Derrick, J. Dick, M. Gheorghe, M. Harman, K. Kapoor, P. Krause и 5 other автор(ы). ACM Comput. Surv., (2009)
14 лет назад , @jpbowen
formal
myown
specifications
software
methods
testing
engineering
support
formalmyownspecificationssoftwaremethodstestingengineeringsupport
копироватьудалитьдобавить публикацию в буфер
1Formal Verification of Ad-Hoc Routing Protocols Using SPIN Model Checker
R. de Renesse, и A. Aghvami. IEEE MELECON, (2004)
14 лет назад , @msteele
formal
routing
SPIN
ad-hoc
verification
formalroutingSPINad-hocverification
копироватьудалитьдобавить публикацию в буфер
1Formal Security Evaluation of Ad Hoc Routing Protocols
T. Andel. Florida State University, (2007)
14 лет назад , @msteele
formal
routing
MANET
ad-hoc
security
verification
formalroutingMANETad-hocsecurityverification
копироватьудалитьдобавить публикацию в буфер
4A Survey of Approaches for Describing and Formalizing Use Cases
R. Hurlbut. XPT-TE-97-03. Expertech, Wheaton, Illinois, (1997)
14 лет назад , @enitsirhc
Use-Cases
formal
formalizing
survey
usecases
Use-Casesformalformalizingsurveyusecases
копироватьудалитьдобавить публикацию в буфер
2A model-based tool for interactive prototyping of highly interactive applications
R. Bastide, D. Navarre, и P. Palanque. CHI '02 extended abstracts on Human factors in computing systems, стр. 516--517. Minneapolis, Minnesota, USA, ACM Press, (2002)
15 лет назад , @ekstrand
formal
systems
pending,
critical
safety
model-based
approaches,
techniques,
description
formalsystemspending,criticalsafetymodel-basedapproaches,techniques,description
копироватьудалитьдобавить публикацию в буфер
4Intelligent Structuring and Reducing of Association Rules and with Formal Concept Analysis
G. Stumme, R. Taouil, Y. Bastide, N. Pasquier, и L. Lakhal. KI 2001: Advances in Artificial Intelligence. KI 2001, том 2174 из LNAI, стр. 335-350. Heidelberg, Springer, (2001)
15 лет назад , @stumme
myown
FCA
fca
concept
association
condensed
2001
discovery
kdd
rules
analysis
rule
representations
formal
bases
mining
OntologyHandbook
knowledge
closed
itemsets
myownFCAfcaconceptassociationcondensed2001discoverykddrulesanalysisrulerepresentationsformalbasesminingOntologyHandbookknowledgecloseditemsets
копироватьудалитьдобавить публикацию в буфер
9Conceptual Knowledge Discovery and Data Analysis
J. Hereth, G. Stumme, R. Wille, и U. Wille. Conceptual Structures: Logical, Linguistic, and Computational Issues. Proc. ICCS '00, том 1867 из LNAI, стр. 421-437. Heidelberg, Springer, (2000)
16 лет назад , @stumme
conceptual
myown
FCA
fca
concept
ckdd
discovery
2000
kdd
analysis
formal
OntologyHandbook
knowledge
conceptualmyownFCAfcaconceptckdddiscovery2000kddanalysisformalOntologyHandbookknowledge
копироватьудалитьдобавить публикацию в буфер
3CEM -- A Program for Visualization and Discovery in Email
R. Cole, P. Eklund, и G. Stumme. Principles of Data Mining and Knowledge Discovery. Proc. PKDD 2000, том 1910 из LNAI, стр. 367-374. Heidelberg-Berlin, Springer, (2000)
16 лет назад , @stumme
formal
myown
fca
management
mail
manager
concept
nepomuk
email
2000
cem
analysis
formalmyownfcamanagementmailmanagerconceptnepomukemail2000cemanalysis
копироватьудалитьдобавить публикацию в буфер
4Mining Frequent Patterns with Counting Inference.
Y. Bastide, R. Taouil, N. Pasquier, G. Stumme, и L. Lakhal. SIGKDD Explorations, Special Issue on Scalable Algorithms, 2 (2): 71-80 (2000)
16 лет назад , @stumme
myown
FCA
fca
data
concept
association
condensed
discovery
2000
frequent
kdd
rules
representation
rule
representations
analys
formal
mining
OntologyHandbook
knowledge
closed
itemsets
myownFCAfcadataconceptassociationcondenseddiscovery2000frequentkddrulesrepresentationrulerepresentationsanalysformalminingOntologyHandbookknowledgecloseditemsets
копироватьудалитьдобавить публикацию в буфер
6Mining Minimal Non-Redundant Association Rules Using Frequent Closed Itemsets
Y. Bastide, N. Pasquier, R. Taouil, G. Stumme, и L. Lakhal. Computational Logic --- CL 2000 Proc. CL'00, том 1861 из LNAI, Heidelberg, Springer, (2000)
16 лет назад , @stumme
myown
fca
data
concept
association
condensed
discovery
2000
frequent
kdd
rules
representation
rule
representations
analys
formal
mining
knowledge
closed
itemsets
myownfcadataconceptassociationcondenseddiscovery2000frequentkddrulesrepresentationrulerepresentationsanalysformalminingknowledgecloseditemsets
копироватьудалитьдобавить публикацию в буфер
6Conceptual Clustering with Iceberg Concept Lattices
G. Stumme, R. Taouil, Y. Bastide, и L. Lakhal. Proc. GI-Fachgruppentreffen Maschinelles Lernen (FGML'01), Universität Dortmund 763, (октября 2001)
16 лет назад , @stumme
conceptual
myown
fca
concept
2001
discovery
kdd
analysis
formal
clustering
iceberg
knowledge
lattices
closed
itemsets
conceptualmyownfcaconcept2001discoverykddanalysisformalclusteringicebergknowledgelatticescloseditemsets
копироватьудалитьдобавить публикацию в буфер
1On the design of reactive systems
K. Suonio, и T. Kankaanpää. BIT Numerical Mathematics, 28 (3): 581--604 (1988)
16 лет назад , @leonardo
1988
formal
statecharts
\_pdf
reactive\_systems
specification
refinement
concurrency
1988formalstatecharts\_pdfreactive\_systemsspecificationrefinementconcurrency
копироватьудалитьдобавить публикацию в буфер
1On the design of reactive systems
K. Suonio, и T. Kankaanpää. BIT Numerical Mathematics, 28 (3): 581--604 (1988)
16 лет назад , @leonardo
1988
formal
statecharts
specification
refinement
concurrency
reactive_systems
1988formalstatechartsspecificationrefinementconcurrencyreactive_systems
копироватьудалитьдобавить публикацию в буфер
2Formal methods in industry: achievements, problems, future
J. Abrial. ICSE '06: Proceeding of the 28th international conference on Software engineering, стр. 761--768. New York, NY, USA, ACM Press, (2006)
16 лет назад , @leonardo
formal
b
2006
formalb2006
копироватьудалитьдобавить публикацию в буфер

&lang;&lang;
⟨
1
2
3
&rang;
⟩⟩

BibSonomy

публикации (спрятать)58
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...

1Benefits of Entrepreneurship, an Analysis for Its Determination

1DIGITAL WATERMARKING TECHNIQUE BASED ON MULTI-RESOLUTION CURVELET TRANSFORM

2Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switching

1Model Based Requirements Specification and Validation for Component Architectures

1Towards a language for coherent enterprise architecture descriptions

1A syntactic theory of software architecture

1Using formal specifications to support testing.

1Formal Verification of Ad-Hoc Routing Protocols Using SPIN Model Checker

1Formal Security Evaluation of Ad Hoc Routing Protocols

4A Survey of Approaches for Describing and Formalizing Use Cases

2A model-based tool for interactive prototyping of highly interactive applications

4Intelligent Structuring and Reducing of Association Rules and with Formal Concept Analysis

9Conceptual Knowledge Discovery and Data Analysis

3CEM -- A Program for Visualization and Discovery in Email

4Mining Frequent Patterns with Counting Inference.

6Mining Minimal Non-Redundant Association Rules Using Frequent Closed Itemsets

6Conceptual Clustering with Iceberg Concept Lattices

1On the design of reactive systems

1On the design of reactive systems

2Formal methods in industry: achievements, problems, future

сходные по теме тэги

тэги

публикации (спрятать)58 показатьвсётолько публикациипубликации на страницу5102050100 расширенный... RSSBibTeXRDFдальше...

сходные по теме тэги

тэги

публикации (спрятать)58
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...