2005
2005
Buchbeitrag
A simple refinement language for CASL
Mossakowski, T.; Sannella, D.; Tarlecki, A.
In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 162-185, ISSN 03029743
Towards a coalgebraic semantics of the ambient calculus
Hausmann, D.; Mossakowski, T.; Schröder, L.
In: Lecture Notes in Computer Science, Vol. 3629, 2005, S. 232-246, ISSN 03029743
CASL specifications of qualitative calculi
Wölfl, S.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3693 LNCS, 2005, S. 200-217, ISSN 03029743
Ontologies for the semantic Web in CASL
Lüttich, K.; Mossakowski, T.; Krieg-Brückner, B.
In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 106-125, ISSN 03029743
Higher-order nets for mobile policies
Hoffmann, K.; Mossakowski, T.; Parisi-Presicce, F.
In: Electronic Notes in Theoretical Computer Science, Vol. 127, 2005, Issue 2, S. 87-105, ISSN 15710661, 10.1016/j.entcs.2005.02.007
PeerMint: Decentralized and secure accounting for peer-to-peer applications
Hausheer, D.; Stiller, B.
In: Lecture Notes in Computer Science, Vol. 3462, 2005, S. 40-52
PeerMart: The technology for a distributed auction-based market for peer-to-peer services
Hausheer, D.; Stiller, B.
In: IEEE International Conference on Communications, Vol. 3, 2005, S. 1583-1587
A generic and modular accounting and charging system for peer-to-peer applications
Hausheer, D.; Gerke, J.; Stiller, B.
In: Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), Vol. P-61, 2005, S. 225-228
29. Peer-to-Peer market management
Gerke, J.; Hausheer, D.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3485 LNCS, 2005, S. 491-507, 10.1007/11530657-29
Decentralized auction-based pricing with PeerMart
Hausheer, D.; Stiller, B.
In: 2005 9th IFIP/IEEE International Symposium on Integrated Network Management, IM 2005, Vol. 2005, 2005, S. 381-394, 10.1109/INM.2005.1440807
What is a logic?
Mossakowski, T.; Goguen, J.; Diaconescu, R.; Tarlecki, A.
In: Logica Universalis: Towards a General Theory of Logic, 2005, S. 113-133, 10.1007/3-7643-7304-0_7
Specification of an ontology for Route Graphs
Krieg-Brückner, B.; Frese, U.; Lüttich, K.; Mandel, C.; Mossakowski, T.; Ross, R.J.
In: Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 3343, 2005, S. 390-412, ISSN 03029743
Parametrized exceptions
Walter, D.; Schröder, L.; Mossakowski, T.
In: Lecture Notes in Computer Science, Vol. 3629, 2005, S. 424-438, ISSN 03029743
Type class polymorphism in an institutional framework
Schröder, L.; Mossakowski, T.; Lüth, C.
In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 234-251, ISSN 03029743
Iterative circular coinduction for CoCASL in Isabelle/HOL
Hausmann, D.; Mossakowski, T.; Schröder, L.
In: Lecture Notes in Computer Science, Vol. 3442, 2005, S. 341-356, ISSN 03029743
High-Level nets with nets and rules as tokens
Hoffmann, K.; Ehrig, H.; Mossakowski, T.
In: Lecture Notes in Computer Science, Vol. 3536, 2005, S. 268-288, ISSN 03029743
Artikel in Kongressband
Similarity, typicality and fuzzy prototypes for numerical data.
Lesot, Marie-Jeanne
In: Association Francaise de Science des Systemes (Veranst.): 6eme congres Europeen de science des Systemes = 6th systems science European congress (Paris 19 au 22 septembre 2005). Paris, 2005, [Elektronische Ressource]. - Beitrag auf CD-ROM
Originalartikel in begutachteter internationaler Zeitschrift
Amalgamation in the semantics of CASL
Schröder, L.; Mossakowski, T.; Tarlecki, A.; Klin, B.; Hoffman, P.
In: Theoretical Computer Science, Vol. 331, 2005, Issue 1, S. 215-247, ISSN 03043975, 10.1016/j.tcs.2004.09.037
A fuzzy rule system describing transfer passenger movements.
Temme, Annette; Kruse, Rudolf
In: Soft computing [Berlin] 1 (online)(2005), [Elektronische Ressource]
Originalartikel in begutachteter zeitschriftenartiger Reihe
Clever search : a WordNet based Wrapper for internet search engines.
Kruse, Peter M.; Naujoks, Andre; Roesner, Dietmar; Kunze, Manuela
In: Fisseni, Bernhard (Hrsg.) ; ... (Hrsg.): Sprachtechnologie, mobile Kommunikation und linguistische Ressourcen : Beiträge zur GLDV-Tagung 2005 in Bonn. Frankfurt am Main : Lang, 2005, S. 367 - 380 (Sprache, Sprechen, Computer 8)
LlsChecker, ein CAA-System für die Lehre im Bereich Programmiersprachen.
Roesner, Dietmar; Amelung, Mario; Piotrowski, Michael
In: Haake, Jörg M. (Hrsg.) ; Lucke, Ulrike (Hrsg.) ; Tavangarian, Djamshid (Hrsg.): DeLFI 2005 (3. Deutsche e-Learning Fachtagung Informatik der Gesellschaft für Informatik e. V., Rostock 13.-16. September 2005). - Tagungsband. Bonn : Köllen, 2005, S. 307 - 318 (GI-Edition : Proceeding 66)
Integration von E-Assessment und Content-Management.
Roesner, Dietmar; Piotrowski, Michael
In: Haake, Jörg M. (Hrsg.) ; Lucke, Ulrike (Hrsg.) ; Tavangarian, Djamshid (Hrsg.): DeLFI 2005 (3. Deutsche e-Learning Fachtagung Informatik der Gesellschaft für Informatik e. V., Rostock 13.-16. September 2005). - Tagungsband. Bonn : Köllen, 2005, S. 129 - 140 (GI-Edition : Proceeding 66)
A web-based environment to support teaching of programming paradigms.
Roesner, Dietmar; Amelung, Mario
In: Uskov, V. (Hrsg.): WEB-based education (4th IASTED international conference Grindelwald, Switzerland February 21-23 2005). - proceedings. Anaheim, CA : Acta Press, 2005, S. 655 - 660, [Elektronische Ressource] (IASTED international conference WEB-based education 4)
Effects of irrelevant attributes in fuzzy clustering.
Doering, Christian; Borgelt, Christian; Kruse, Rudolf
In: Institute of Electrical and Electronics Engineers IEEE (Veranst.): Fuzzy systems, FUZZ- IEEE 2005 (14th annual IEEE International conference Reno, Nevada, May 22 - 25, 2005). - proceedings. Piscataway, NY : IEEE Operation Center, 2005, [Elektronische Ressource] (FUZZ-IEEE 2005)
Supporting web search by user specific document categorization : intelligent bookmarks.
Bade, Korinna; Nuernberger, Andreas
In: Jantke, Klaus P. (Hrsg.) ; Fähnrich, Klaus Peter (Hrsg.) ; Wittig, Wolfgang S. (Hrsg.): Marktplatz Internet : von eLearning bis e-Payment (13. Leipziger Informations- Tage, LIT 2005 Leipzig 21.-23. September 2005). - proceedings. Bonn : Ges. für Informatik, 2005, S. 115 - 123 (GI-Edition : Proceeding 72)