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...

1Towards a methodology for the exploration of ``tacit structures of knowledge'' to gain access to personal knowledge reserve of psychoanalysis: the example of psychoanalysis versus psychotherapy
N. Spangenberg, R. Fischer, and K. Wolff. Psychoanalytic research by means of formal concept analysis, Special des Sigmund--Freud--Instituts, Lit Verlag, Münster, (to appear)
19 years ago by @stumme
show all tags
tu
formal
fca
begriffsanalyse
fba
forschungsgruppe
concept
darmstadt
formale
ag1
analysis
lattices
tuformalfcabegriffsanalysefbaforschungsgruppeconceptdarmstadtformaleag1analysislattices
copydeleteadd this publication to your clipboard
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
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
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
1Evaluating formal properties of feature diagram languages
P. Heymans, P. Schobbens, J. Trigaux, Y. Bontemps, R. Matulevicius, and A. Classen. Software, IET, 2 (3): 281--302 (2008)
16 years ago by @leonardo
show all tags
formal
2008
feature
formal2008feature
copydeleteadd this publication to your clipboard
2An approach to formal verification of human-computer interaction
P. Curzon, R. s\.enas, and A. Blandford. Formal Aspects of Computing, 19 (4): 513--550 (November 2007)
16 years ago by @spdegabrielle
show all tags
Human
error
Interactive
cognitive
UCLIC
Formal
-
Theorem
proving
architecture
systems,
verification
HumanerrorInteractivecognitiveUCLICFormal-Theoremprovingarchitecturesystems,verification
copydeleteadd this publication to your clipboard
2Detecting cognitive causes of confidentiality leaks
R. s\.enas, P. Curzon, and A. Blandford. Electronic Notes in Theoretical Computer Science: Proceedings of the First International Workshop on Formal Methods for Interactive Systems (FMIS 2006), (July 2007)
16 years ago by @spdegabrielle
show all tags
formal
security;
cognitive
error;
architecture;
UCLIC
verification;
human
SAL
formalsecurity;cognitiveerror;architecture;UCLICverification;humanSAL
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
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
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
12The Courseware Watchdog: an Ontology-based tool for finding and organizing learning material
J. Tane, C. Schmitz, G. Stumme, S. Staab, and R. Studer. Mobiles Lernen und Forschen - Beiträge der Fachtagung an der Universität, page 93-104. Kassel University Press, (November 2003)
19 years ago by @stumme
show all tags
myown
fca
edutella
concept
analysis
eLearning
p2p
padlr
e-learning
formal
courseware
watchdog
2003
crawling
ontology
ontologies
myownfcaedutellaconceptanalysiseLearningp2ppadlre-learningformalcoursewarewatchdog2003crawlingontologyontologies
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
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
2Pascal: un alogorithme d'extraction des motifs fréquents
Y. Bastide, R. Taouil, N. Pasquier, G. Stumme, and L. Lakhal. Technique et Science Informatiques (TSI), 21 (1): 65-95 (2002)
19 years ago by @stumme
show all tags
pascal
myown
fca
concept
condensed
association
2002
rules
analysis
representations
formal
titanic
iceberg
lattices
itemsets
closed
pascalmyownfcaconceptcondensedassociation2002rulesanalysisrepresentationsformaltitaniciceberglatticesitemsetsclosed
copydeleteadd this publication to your clipboard
2Pascal: un alogorithme d'extraction des motifs fréquents
Y. Bastide, R. Taouil, N. Pasquier, G. Stumme, and L. Lakhal. Technique et Science Informatiques (TSI), 21 (1): 65-95 (2002)
18 years ago by @grahl
show all tags
pascal
fca
concept
association
condensed
analysis
representation
itemset
rule
formal
titanic
iceberg
lattices
closed
pascalfcaconceptassociationcondensedanalysisrepresentationitemsetruleformaltitaniciceberglatticesclosed
copydeleteadd this publication to your clipboard
5Computing Iceberg Concept Lattices with Titanic
G. Stumme, R. Taouil, Y. Bastide, N. Pasqier, and L. Lakhal. J. Data and KnowledgeEngineering (DKE), 42 (2): 189-222 (2002)
17 years ago by @stumme
show all tags
formal
myown
fca
titanic
2002
concept
iceberg
analysis
lattices
closed
itemsets
formalmyownfcatitanic2002concepticeberganalysislatticescloseditemsets
copydeleteadd this publication to your clipboard
5Computing Iceberg Concept Lattices with Titanic
G. Stumme, R. Taouil, Y. Bastide, N. Pasqier, and L. Lakhal. J. Knowledge and Data Engineering (KDE), 42 (2): 189-222 (2002)
18 years ago by @grahl
show all tags
formal
fca
titanic
concept
iceberg
analysis
itemset
lattices
closed
formalfcatitanicconcepticeberganalysisitemsetlatticesclosed
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)Part of stumme02computing.
18 years ago by @grahl
show all tags
conceptual
fca
concept
discovery
kdd
analysis
itemset
formal
clustering
iceberg
knowledge
lattices
closed
conceptualfcaconceptdiscoverykddanalysisitemsetformalclusteringicebergknowledgelatticesclosed
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...