Nr. | Thema |
1.
| Design-Pattern und ASM |
|---|
| Egon Börger. Design Patterns Abstraction and Abstract State Machines. In Beauquier et al. |
| | @INPROCEEDINGS{BOE05,
AUTHOR = {Börger, Egon},
TITLE = {{D}esign {P}atterns {A}bstraction and {A}bstract {S}tate {M}achines},
CROSSREF = {ASM05},
OWNER = {fiedler},
TIMESTAMP = {2007.01.24},
URL = {www.univ-paris12.fr/lacl/dima/asm05/DesignPattern.ps}
}
[ps]
|
2. | Anwendungsspezifische Sprachen |
|---|
| T. Sloane, M. Mernik, and J. Heering. When and how to develop domain-specific languages, 2003 |
| | @MISC{sloane03when,
AUTHOR = {T. Sloane and M. Mernik and J. Heering},
TITLE = {{W}hen and how to develop domain-specific languages},
YEAR = {2003},
TEXT = {T. Sloane M. Mernik, J. Heering. When and how to develop domain-specific
languages. Technical Report Technical Report, SEN-E0309, CWI, 2003.},
URL = {citeseer.ist.psu.edu/mernik03when.html}
}
[html] |
3.
| Funktionale Abhängigkeiten |
|---|
| Attila Sali, Klaus-Dieter Schewe. Weak Functional Dependencies on Trees with Restructuring. Technical Report 2006/04, Massey University, 2006. |
| | @TECHREPORT{Sch06,
AUTHOR = {Sali, Attila, Schewe, Klaus-Dieter},
TITLE = {{W}eak {F}unctional {D}ependencies on {T}rees with {R}estructuring},
INSTITUTION = {Massey University},
YEAR = {2006},
TYPE = {Technical Report},
NUMBER = {2006/04},
OWNER = {fiedler},
TIMESTAMP = {2007.01.24},
URL = {http://infosys.massey.ac.nz/research/tech%20reports/TR_2006_04.pdf}
}
[pdf] |
4.
| Streaming |
|---|
| A. Arasu, S. Babu, and J. Widom. The cql continuous query language: semantic foundations and query execution. The VLDB Journal, 15(2):121-142, 2006. |
| | @ARTICLE{Arasu:vldbjournal,
AUTHOR = {A. Arasu and S. Babu and J. Widom},
TITLE = {The CQL continuous query language: semantic foundations and query execution},
JOURNAL = {The VLDB Journal},
VOLUME = 15,
NUMBER = {2},
PAGES = {121-142},
YEAR = 2006
} |
| L. Golab and M.T. Özsu. Issues in data stream management. SIGMOD Record, 32(2):5-14, 2003. |
| | @ARTICLE{Golap:sigmod,
AUTHOR = {L. Golab and M.T. \"Ozsu},
TITLE = {Issues in Data Stream Management},
JOURNAL = {SIGMOD Record},
VOLUME = 32,
NUMBER = {2},
PAGES = {5-14},
YEAR = 2003
} |
5. | Unvollständige Information in XML |
|---|
| S. Abiteboul, L. Segoufin, and V. Vianu. Representing and querying xml with incomplete information. ACM TODS, 31(1):208-254, 2006. |
| | @ARTICLE{Abite:tods,
AUTHOR = {S. Abiteboul and L. Segoufin and V. Vianu},
TITLE = {{R}epresenting and {Q}uerying {XML} with {I}ncomplete {I}nformation},
JOURNAL = {ACM TODS},
YEAR = {2006},
VOLUME = {31},
PAGES = {208-254},
NUMBER = {1},
OWNER = {fiedler},
TIMESTAMP = {2007.06.22}
} |
6.
| Datenaustausch |
|---|
| R. Fagin, P.G. Kolaitis, R.J. Miller, and L.Popa. Data exchange: Semantics and query answering. In D. Calvanese et al., editor, ICDT-2003, volume 2572 of LNCS, pages 207-224. Springer-Verlag, 2003. | |
| | @INCOLLECTION{fagin:icdt2003,
AUTHOR = {R. Fagin and P.G. Kolaitis and R.J. Miller and L.Popa},
TITLE = {{D}ata {E}xchange: {S}emantics and {Q}uery {A}nswering},
BOOKTITLE = {{ICDT}-2003},
PUBLISHER = {Springer-Verlag},
YEAR = {2003},
EDITOR = {D. Calvanese et al.},
VOLUME = {2572},
SERIES = {LNCS},
PAGES = {207-224},
OWNER = {fiedler},
TIMESTAMP = {2007.06.22}
} |
7.
| Ontologien und Kontexte im Semantic Web |
|---|
| P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini, and H. Stuckenschmidt. COWL: Contextualizing Ontologies. 2003. |
| | @ARTICLE{bouquet03cowl,
AUTHOR = {P. Bouquet and F. Giunchiglia and F. van Harmelen and L. Serafini
and H. Stuckenschmidt},
TITLE = {{COWL}: {C}ontextualizing {O}ntologies},
YEAR = {2003},
TEXT = {P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini, and H. Stuckenschmidt,
COWL: Contextualizing Ontologies, Second International Semantic Web Conference
(ISWC-2003), LNCS vol. 2870, pp. 164-179, Springer Verlag, 2003.},
URL = {citeseer.ist.psu.edu/bouquet03cowl.html}
} |
| Heiner Stuckenschmidt, Frank van Harmelen, Paolo Bouquet, Fausto Giunchiglia, and Luciano Serafini. Using C-OWL for the alignment and merging of medical ontologies. In Hahn [Hah04], pages 88-101. |
| | @INPROCEEDINGS{DBLP:conf/krmed/StuckenschmidtHBGS04,
AUTHOR = {Heiner Stuckenschmidt and Frank van Harmelen and Paolo Bouquet and
Fausto Giunchiglia and Luciano Serafini},
TITLE = {{U}sing {C}-{OWL} for the alignment and merging of medical ontologies.},
BOOKTITLE = {{KR}-{MED}},
YEAR = {2004},
PAGES = {88-101},
BIBSOURCE = {DBLP, dblp.uni-trier.de},
CROSSREF = {DBLP:conf/krmed/2004},
EE = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-102/stuckenschmidt.pdf},
PDF = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-102/stuckenschmidt.pdf}
} | |
8.
| Pragmatisches Reasoning |
|---|
| John Bell. Pragmatic Reasoning: Pragmatic Semantics and Semantic Pragmatics. In Varol Akman, Paolo Bouquet, Richmond Thomason, and Roger A. Young, editors, Modeling and Using Context: Third International and Interdisciplinary Conference, Context 2001, pages 45-58, Berlin, 2001. Springer-Verlag. |
| | @INPROCEEDINGS{bell_j2:2001a,
AUTHOR = {John Bell},
TITLE = {{P}ragmatic {R}easoning: {P}ragmatic {S}emantics and {S}emantic {P}ragmatics},
BOOKTITLE = {{M}odeling and {U}sing {C}ontext: {T}hird {I}nternational and {I}nterdisciplinary
{C}onference, {C}ontext 2001},
YEAR = {2001},
EDITOR = {Varol Akman and Paolo Bouquet and Richmond Thomason and Roger A.
Young},
PAGES = {45--58},
ADDRESS = {Berlin},
PUBLISHER = {Springer-Verlag},
TOPIC = {context;nonmonotonic-logic;nonmonotonic-reasoning;}
} |
9.
| Abduktion |
|---|
| Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro, and Floriana Esposito. Automatic Induction of Abduction and Abstraction Theories from Observations. In Kramer and Pfahringer [KP05], pages 103-120. |
| | @INPROCEEDINGS{DBLP:conf/ilp/FerilliBME05,
AUTHOR = {Stefano Ferilli and Teresa Maria Altomare Basile and Nicola Di Mauro
and Floriana Esposito},
TITLE = {{A}utomatic {I}nduction of {A}bduction and {A}bstraction {T}heories
from {O}bservations.},
BOOKTITLE = {{ILP}},
YEAR = {2005},
PAGES = {103-120},
BIBSOURCE = {DBLP, dblp.uni-trier.de},
CROSSREF = {DBLP:conf/ilp/2005},
EE = {http://dx.doi.org/10.1007/11536314_7},
PDF = {http://dx.doi.org/10.1007/11536314_7}
} |
| M. C. Mayer and F. Pirri. Propositional Abduction in Modal Logic. Journal of the Interest Group in Pure and Applied Logics, 3 (6):907-919, 1995. |
| | @ARTICLE{mayer95propositional,
AUTHOR = {M. C. Mayer and F. Pirri},
TITLE = {{Propositional Abduction in Modal Logic}},
JOURNAL = {Journal of the {I}nterest {G}roup in {P}ure and {A}pplied {L}ogics},
YEAR = {1995},
VOLUME = {3 (6)},
PAGES = {907--919},
PDF = {citeseer.ist.psu.edu/mayer94propositional.html}
} |
10. | Modellierung von Aufgaben, Rechten und Pflichten |
|---|
| Frans Voorbraak. The logic of actual obligation. An alternative approach to deontic logic. Philosophical Studies, 55, Issue 2:173-194, 1989. |
| | @ARTICLE{Voo89,
AUTHOR = {Frans Voorbraak},
TITLE = {{T}he logic of actual obligation. {A}n alternative approach to deontic
logic.},
JOURNAL = {Philosophical {S}tudies},
YEAR = {1989},
VOLUME = {55, Issue 2},
PAGES = {173-194},
DOI = {10.1007/BF00354186},
OWNER = {fiedler},
PDF = {http://dx.doi.org/10.1007/BF00354186},
TIMESTAMP = {2006.02.27}
} |
11.
| Formale Spezifikation von Zugriffsrechten |
|---|
| Xinwen Zhang, Francesco Parisi-Presicce, Ravi Sandhu, and Jaehong Park. Formal model and policy specification of usage control. ACM Trans. Inf. Syst. Secur., 8(4):351-387, 2005. |
| | @ARTICLE{1108908,
AUTHOR = {Xinwen Zhang and Francesco Parisi-Presicce and Ravi Sandhu and Jaehong
Park},
TITLE = {{F}ormal model and policy specification of usage control},
JOURNAL = {A{CM} {T}rans. {I}nf. {S}yst. {S}ecur.},
YEAR = {2005},
VOLUME = {8},
PAGES = {351--387},
NUMBER = {4},
ADDRESS = {New York, NY, USA},
DOI = {http://doi.acm.org/10.1145/1108906.1108908},
ISSN = {1094-9224},
PDF = {http://www.list.gmu.edu/journals/tissec/p351-zhang.pdf},
PUBLISHER = {ACM Press}
} |
12.
| Mobile Learning |
|---|
| Felipe G. Leite, Milton R. Ramirez, and Jano Moreira de Souza. Learning Communities Support by Mobile Systems Based on Peer-to-Peer Networks. In WISE Workshops, pages 89-101, 2004. | |
| | @INPROCEEDINGS{DBLP:conf/wise/LeiteRS04,
AUTHOR = {Felipe G. Leite and Milton R. Ramirez and Jano Moreira de Souza},
TITLE = {{L}earning {C}ommunities {S}upport by {M}obile {S}ystems {B}ased
on {P}eer-to-{P}eer {N}etworks.},
BOOKTITLE = {{WISE} {W}orkshops},
YEAR = {2004},
PAGES = {89-101},
BIBSOURCE = {DBLP, dblp.uni-trier.de},
CROSSREF = {DBLP:conf/wise/2004-w},
URL = {http://www.springerlink.com/content/8bumcu56hdc7w9qb/}
} |
| Maia Zaharieva and Wolfgang Klas. MobiLearn: An Open Approach for Structuring Content for Mobile Learning Environments. In WISE Workshops, pages 114-124, 2004. |
| | @INPROCEEDINGS{DBLP:conf/wise/ZaharievaK04,
AUTHOR = {Maia Zaharieva and Wolfgang Klas},
TITLE = {{M}obi{L}earn: {A}n {O}pen {A}pproach for {S}tructuring {C}ontent
for {M}obile {L}earning {E}nvironments.},
BOOKTITLE = {{WISE} {W}orkshops},
YEAR = {2004},
PAGES = {114-124},
BIBSOURCE = {DBLP, dblp.uni-trier.de},
CROSSREF = {DBLP:conf/wise/2004-w},
URL = {http://www.springerlink.com/content/lgr966ca8kf0lt40/}
} |
