R > Formal | BibSonomy

publications (hide)58
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Benefits of Entrepreneurship, an Analysis for Its Determination
D. Bustillos-Varela. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (1): 1684-1688 (December 2021)
3 years ago by @ijtsrd
show all tags
Business
Self-employment
Progress
in
Opportunity
Entrepreneurship
Formal
BusinessSelf-employmentProgressinOpportunityEntrepreneurshipFormal
copydeleteadd this publication to your clipboard
1DIGITAL WATERMARKING TECHNIQUE BASED ON MULTI-RESOLUTION CURVELET TRANSFORM
S. Ranjeeta Kaushik, and L. Raheja. International Journal in Foundations of Computer Science & Technology (IJFCST), 7 (02): 01-14 (March 2017)
3 years ago by @usmankhawaja
show all tags
Algorithms
Novel
Games
Combinatorial
and
structures
Automata
Data
Formal
Languages
AlgorithmsNovelGamesCombinatorialandstructuresAutomataDataFormalLanguages
copydeleteadd this publication to your clipboard
2Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switching
J. Diemer, D. Thiele, and R. Ernst. Industrial Embedded Systems (SIES), 2012 7th IEEE International Symposium on, page 1-10. (June 2012)
11 years ago by @eberle18
show all tags
ethernet
formal
worst
analysis
avb
ethernetformalworstanalysisavb
copydeleteadd this publication to your clipboard
1Model Based Requirements Specification and Validation for Component Architectures
I. Cardei, M. Fonoage, and R. Shankar. Systems Conference, 2008 2nd Annual IEEE, page 1--8. (April 2008)
12 years ago by @fritzsolms
show all tags
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
copydeleteadd this publication to your clipboard
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 and 8 other author(s). Enterprise Distributed Object Computing Conference, 2003. Proceedings. Seventh IEEE International, page 28-- 37. IEEE, (September 2003)
12 years ago by @fritzsolms
show all tags
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;
copydeleteadd this publication to your clipboard
1A syntactic theory of software architecture
T. Dean, and J. Cordy. IEEE Transactions on Software Engineering, 21 (4): 302--313 (April 1995)
12 years ago by @fritzsolms
show all tags
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
copydeleteadd this publication to your clipboard
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 and 5 other author(s). ACM Comput. Surv., (2009)
14 years ago by @jpbowen
show all tags
formal
myown
specifications
software
methods
testing
engineering
support
formalmyownspecificationssoftwaremethodstestingengineeringsupport
copydeleteadd this publication to your clipboard
1Formal Verification of Ad-Hoc Routing Protocols Using SPIN Model Checker
R. de Renesse, and A. Aghvami. IEEE MELECON, (2004)
14 years ago by @msteele
show all tags
formal
routing
SPIN
ad-hoc
verification
formalroutingSPINad-hocverification
copydeleteadd this publication to your clipboard
1Formal Security Evaluation of Ad Hoc Routing Protocols
T. Andel. Florida State University, (2007)
14 years ago by @msteele
show all tags
formal
routing
MANET
ad-hoc
security
verification
formalroutingMANETad-hocsecurityverification
copydeleteadd this publication to your clipboard
4A Survey of Approaches for Describing and Formalizing Use Cases
R. Hurlbut. XPT-TE-97-03. Expertech, Wheaton, Illinois, (1997)
14 years ago by @enitsirhc
show all tags
Use-Cases
formal
formalizing
survey
usecases
Use-Casesformalformalizingsurveyusecases
copydeleteadd this publication to your clipboard
2A model-based tool for interactive prototyping of highly interactive applications
R. Bastide, D. Navarre, and P. Palanque. CHI '02 extended abstracts on Human factors in computing systems, page 516--517. Minneapolis, Minnesota, USA, ACM Press, (2002)
15 years ago by @ekstrand
show all tags
formal
systems
pending,
critical
safety
model-based
approaches,
techniques,
description
formalsystemspending,criticalsafetymodel-basedapproaches,techniques,description
copydeleteadd this publication to your clipboard
4Intelligent Structuring and Reducing of Association Rules and with Formal Concept Analysis
G. Stumme, R. Taouil, Y. Bastide, N. Pasquier, and L. Lakhal. KI 2001: Advances in Artificial Intelligence. KI 2001, volume 2174 of LNAI, page 335-350. Heidelberg, Springer, (2001)
15 years ago by @stumme
show all tags
myown
FCA
fca
concept
association
condensed
2001
discovery
kdd
rules
analysis
rule
representations
formal
bases
mining
OntologyHandbook
knowledge
closed
itemsets
myownFCAfcaconceptassociationcondensed2001discoverykddrulesanalysisrulerepresentationsformalbasesminingOntologyHandbookknowledgecloseditemsets
copydeleteadd this publication to your clipboard
9Conceptual Knowledge Discovery and Data Analysis
J. Hereth, G. Stumme, R. Wille, and U. Wille. Conceptual Structures: Logical, Linguistic, and Computational Issues. Proc. ICCS '00, volume 1867 of LNAI, page 421-437. Heidelberg, Springer, (2000)
16 years ago by @stumme
show all tags
conceptual
myown
FCA
fca
concept
ckdd
discovery
2000
kdd
analysis
formal
OntologyHandbook
knowledge
conceptualmyownFCAfcaconceptckdddiscovery2000kddanalysisformalOntologyHandbookknowledge
copydeleteadd this publication to your clipboard
3CEM -- A Program for Visualization and Discovery in Email
R. Cole, P. Eklund, and G. Stumme. Principles of Data Mining and Knowledge Discovery. Proc. PKDD 2000, volume 1910 of LNAI, page 367-374. Heidelberg-Berlin, Springer, (2000)
16 years ago by @stumme
show all tags
formal
myown
fca
management
mail
manager
concept
nepomuk
email
2000
cem
analysis
formalmyownfcamanagementmailmanagerconceptnepomukemail2000cemanalysis
copydeleteadd this publication to your clipboard
4Mining Frequent Patterns with Counting Inference.
Y. Bastide, R. Taouil, N. Pasquier, G. Stumme, and L. Lakhal. SIGKDD Explorations, Special Issue on Scalable Algorithms, 2 (2): 71-80 (2000)
16 years ago by @stumme
show all tags
myown
FCA
fca
data
concept
association
condensed
discovery
2000
frequent
kdd
rules
representation
rule
representations
analys
formal
mining
OntologyHandbook
knowledge
closed
itemsets
myownFCAfcadataconceptassociationcondenseddiscovery2000frequentkddrulesrepresentationrulerepresentationsanalysformalminingOntologyHandbookknowledgecloseditemsets
copydeleteadd this publication to your clipboard
6Mining Minimal Non-Redundant Association Rules Using Frequent Closed Itemsets
Y. Bastide, N. Pasquier, R. Taouil, G. Stumme, and L. Lakhal. Computational Logic --- CL 2000 Proc. CL'00, volume 1861 of LNAI, Heidelberg, Springer, (2000)
16 years ago by @stumme
show all tags
myown
fca
data
concept
association
condensed
discovery
2000
frequent
kdd
rules
representation
rule
representations
analys
formal
mining
knowledge
closed
itemsets
myownfcadataconceptassociationcondenseddiscovery2000frequentkddrulesrepresentationrulerepresentationsanalysformalminingknowledgecloseditemsets
copydeleteadd this publication to your clipboard
6Conceptual Clustering with Iceberg Concept Lattices
G. Stumme, R. Taouil, Y. Bastide, and L. Lakhal. Proc. GI-Fachgruppentreffen Maschinelles Lernen (FGML'01), Universität Dortmund 763, (October 2001)
16 years ago by @stumme
show all tags
conceptual
myown
fca
concept
2001
discovery
kdd
analysis
formal
clustering
iceberg
knowledge
lattices
closed
itemsets
conceptualmyownfcaconcept2001discoverykddanalysisformalclusteringicebergknowledgelatticescloseditemsets
copydeleteadd this publication to your clipboard
1On the design of reactive systems
K. Suonio, and T. Kankaanpää. BIT Numerical Mathematics, 28 (3): 581--604 (1988)
16 years ago by @leonardo
show all tags
1988
formal
statecharts
\_pdf
reactive\_systems
specification
refinement
concurrency
1988formalstatecharts\_pdfreactive\_systemsspecificationrefinementconcurrency
copydeleteadd this publication to your clipboard
1On the design of reactive systems
K. Suonio, and T. Kankaanpää. BIT Numerical Mathematics, 28 (3): 581--604 (1988)
16 years ago by @leonardo
show all tags
1988
formal
statecharts
specification
refinement
concurrency
reactive_systems
1988formalstatechartsspecificationrefinementconcurrencyreactive_systems
copydeleteadd this publication to your clipboard
2Formal methods in industry: achievements, problems, future
J. Abrial. ICSE '06: Proceeding of the 28th international conference on Software engineering, page 761--768. New York, NY, USA, ACM Press, (2006)
16 years ago by @leonardo
show all tags
formal
b
2006
formalb2006
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
3
⟩
⟩⟩

publications (hide)58 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

related tags

tags

publications (hide)58
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...