Zum Inhalt springen

Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto

Lecture Notes in Computer Science: Improving the Encoding of LTL Model Checking into SAT

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2002

Erschienen in: Lecture Notes in Computer Science
Khoshkangini, Reza; Valetto, Giuseppe; Marconi, Annapaola; Pistore, Marco

Automatic generation and recommendation of personalized challenges for gamification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2021

Erschienen in: User Modeling and User-Adapted Interaction
Bucchiarone, Antonio; Marconi, Annapaola; Pistore, Marco; Raik, Heorhi

A context-aware framework for dynamic composition of process fragments in the internet of services

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Sociedade Brasileira de Computacao - SB, 2017

Erschienen in: Journal of Internet Services and Applications
Bucchiarone, Antonio; Marconi, Annapaola; Pistore, Marco; Raik, Heorhi

Service-Oriented Computing: CAptEvo: Context-Aware Adaptation and Evolution of Business Processes

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2012

Erschienen in: Service-Oriented Computing
Bertoli, Piergiorgio; Kazhamiakin, Raman; Nori, Michele; Pistore, Marco

Web Information Systems Engineering - WISE 2012: SMART: Supporting the Design and Execution of User-Centric Service-Based Applications

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2012

Erschienen in: Web Information Systems Engineering - WISE 2012
Kazhamiakin, Raman; Kerhet, Volha; Paolucci, Massimo; Pistore, Marco; Wagner, Matthias

Artificial Intelligence: Methodology, Systems, and Applications: Use-Based Discovery of Pervasive Services

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2010

Erschienen in: Artificial Intelligence: Methodology, Systems, and Applications
Bucchiarone, Antonio; Lafuente, Alberto Lluch; Marconi, Annapaola; Pistore, Marco

Lecture Notes in Computer Science: A Formalisation of Adaptable Pervasive Flows

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2010

Erschienen in: Lecture Notes in Computer Science
Kazhamiakin, Raman; Paolucci, Massimo; Pistore, Marco; Raik, Heorhi

On the Move to Meaningful Internet Systems: OTM 2010: Modelling and Automated Composition of User-Centric Services

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2010

Erschienen in: On the Move to Meaningful Internet Systems: OTM 2010
Lewis, Grace; Smith, Dennis; Metzger, Andreas; Zisman, Andrea; Pistore, Marco

Report of the 2nd international workshop on principles of engineering service-oriented systems (PESOS 2010)

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2010

Erschienen in: ACM SIGSOFT Software Engineering Notes
Kazhamiakin, Raman; Wetzstein, Branimir; Karastoyanova, Dimka; Pistore, Marco; Leymann, Frank

Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops: Adaptation of Service-Based Applications Based on Process Quality Factor Analysis

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2010

Erschienen in: Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops
Kazhamiakin, Raman; Bertoli, Piergiorgio; Paolucci, Massimo; Pistore, Marco; Wagner, Matthias

Lecture Notes in Computer Science: Having Services “YourWay!”: Towards User-Centric Composition of Mobile Services

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2009

Erschienen in: Lecture Notes in Computer Science
Kuter, Ugur; Nau, Dana; Pistore, Marco; Traverso, Paolo

Task decomposition on abstract states, for planning under nondeterminism

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2009

Erschienen in: Artificial Intelligence
Ciancia, Vincenzo; Ferrari, Gian-Luigi; Pistore, Marco; Tuosto, Emilio

Concurrency, Graphs and Models: History Dependent Automata for Service Compatibility

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2008

Erschienen in: Concurrency, Graphs and Models
Hielscher, Julia; Kazhamiakin, Raman; Metzger, Andreas; Pistore, Marco

Towards a Service-Based Internet: A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2008

Erschienen in: Towards a Service-Based Internet
Baresi, Luciano; Guinea, Sam; Kazhamiakin, Raman; Pistore, Marco

Towards a Service-Based Internet: An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2008

Erschienen in: Towards a Service-Based Internet
Ferrari, Gian-Luigi; Gnesi, Stefania; Montanari, Ugo; Pistore, Marco

A model-checking verification environment for mobile processes

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2003

Erschienen in: ACM Transactions on Software Engineering and Methodology
Fuxman, Ariel; Liu, Lin; Mylopoulos, John; Pistore, Marco; Roveri, Marco; Traverso, Paolo

Specifying and analyzing early requirements in Tropos

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2004

Erschienen in: Requirements Engineering
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando

Computer Aided Verification: NuSMV 2: An OpenSource Tool for Symbolic Model Checking

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2002

Erschienen in: Computer Aided Verification
Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando

Frontiers of Combining Systems: Integrating BDD-Based and SAT-Based Symbolic Model Checking

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2002

Erschienen in: Frontiers of Combining Systems
De Sanctis, Martina; Geihs, Kurt; Bucchiarone, Antonio; Valetto, Giuseppe; Marconi, Annapaola; Pistore, Marco

Service-Oriented Computing – ICSOC 2015 Workshops: Distributed Service Co-evolution Based on Domain Objects

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2016

Erschienen in: Service-Oriented Computing – ICSOC 2015 Workshops

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr