@article{BrainFaberMarateaetal.2007, author = {Brain, Martin and Faber, Wolfgang and Maratea, Marco and Polleres, Axel and Schaub, Torsten H. and Schindlauer, Roman}, title = {What should an ASP solver output? : a multiple position paper}, year = {2007}, language = {en} } @article{GebserLiuNamasivayametal.2007, author = {Gebser, Martin and Liu, Lengning and Namasivayam, Gayathri and Neumann, Andr{\´e} and Schaub, Torsten H. and Truszczynski, Miroslaw}, title = {The first answer set programming system competition}, isbn = {978-3-540- 72199-4}, year = {2007}, language = {en} } @article{LiskeRebensburgSchnor2007, author = {Liske, Stefan and Rebensburg, Klaus and Schnor, Bettina}, title = {SPIT-Erkennung, -Bekanntgabe und -Abwehr in SIP-Netzwerken}, isbn = {978-3-540-69961-3}, year = {2007}, abstract = {SPAM ist in den letzten Jahren zur großten Bedrohung der E-Mail-Kommunikation herangewachsen - jedoch nicht nur auf diesen Kommunikationsweg beschrankt. Mit steigender Anzahl von VoIP-Anschl{\"u}ssen werden auch hier die teilnehmenden Benutzer mit SPAM-Anrufen (SPIT) konfrontiert werden. Neben derzeit diskutierten juristischen Maßnahmen m{\"u}ssen auch technische Abwehrmaßnahmen geschaffen werden, welche SPAM erkennen und vermeiden k{\"o}nnen. Dieser Beitrag stellt zwei Erweiterungen f{\"u}r das VoIP-Protokoll SIP vor, welche es erstens den Providern erm{\"o}glichen, SPIT-Einsch{\"a}tzungen {\"u}ber den Anrufer zum angerufenen Benutzer zu {\"u}bermitteln und zweitens den Angerufenen die M{\"o}glichkeit geben, mit einer Kostenanforderung auf potentielle SPIT-Anrufe zu reagieren.}, language = {de} } @article{JeskeLuckowSchnor2007, author = {Jeske, Janin and Luckow, Andr{\´e} and Schnor, Bettina}, title = {Reservation-based Resource-Brokering for Grid Computing}, year = {2007}, abstract = {In this paper we present the design and implementation of the Migol brokering framework. Migol is a Grid middleware, which addresses the fault-tolerance of long-running and compute-intensive applications. The framework supports e. g. the automatic and transparent recovery respectively the migration of applications. Another core feature of Migol is the discovery, selection, and allocation of resources using advance reservation. Grid broker systems can significantly benefit from advance reservation. With advance reservation brokers and users can obtain execution guarantees from local resource management systems (LRM) without requiring detailed knowledge of current and future workloads or of the resource owner's policies. Migol's Advance Reservation Service (ARS) provides an adapter layer for reservation capabilities of different LRMs, which is currently not provided by existing Grid middleware platforms. Further, we propose a shortest expected delay (SED) strategy for scheduling of advance reservations within the Job Broker Service. SED needs information about the earliest start time of an application. This is currently not supported by LRMs. We added this feature for PBSPro. Migol depends on Globus and its security infrastructure. Our performance experiments show the substantial overhead of this serviceoriented approach.}, language = {en} } @article{MileoSchaub2007, author = {Mileo, Alessandra and Schaub, Torsten H.}, title = {Qualitative constraint enforcement in advanced policy specification}, year = {2007}, language = {en} } @article{GebserGharibSchaub2007, author = {Gebser, Martin and Gharib, Mona and Schaub, Torsten H.}, title = {Incremental answer sets and their computation}, year = {2007}, language = {en} } @article{GharibSchaubMercer2007, author = {Gharib, Mona and Schaub, Torsten H. and Mercer, Robert E.}, title = {Incremental answer set programming : a preliminary report}, year = {2007}, language = {en} } @article{GebserLeeLierler2007, author = {Gebser, Martin and Lee, Joohyung and Lierler, Yuliya}, title = {Head-elementary-set-free logic programs}, isbn = {978-3-540- 72199-4}, year = {2007}, language = {en} } @article{GebserSchaubThiele2007, author = {Gebser, Martin and Schaub, Torsten H. and Thiele, Sven}, title = {GrinGo : a new grounder for answer set programming}, isbn = {978-3-540- 72199-4}, year = {2007}, language = {en} } @article{GebserSchaub2007, author = {Gebser, Martin and Schaub, Torsten H.}, title = {Generic tableaux for answer set programming}, year = {2007}, language = {en} }