Search results for: Marco Pistore
Journal of Internet Services and Applications > 2017 > 8 > 1 > 1-23
Multiagent Systems, Artificial Societies, and Simulated Organizations > Methodologies and Software Engineering for Agent Systems > Methodologies for Agent-Based Systems Development > 89-106
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Software Verification > 625-641
Lecture Notes in Computer Science > Service-Oriented Computing - ICSOC 2007 Workshops > TSOA 2007 > 282-294
Lecture Notes in Computer Science > Towards a Service-Based Internet > Adaptation/Monitoring (1) > 1-12
Lecture Notes in Computer Science > The Semantic Web: Research and Applications > Semantic Web Services > 620-634
Lecture Notes in Computer Science > Towards a Service-Based Internet > Adaptation/Monitoring (2) > 122-133
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 129-143
Lecture Notes in Computer Science > Formal Methods for Mobile Computing > Models and Languages > 1-28
Lecture Notes in Computer Science > The Semantic Web: Research and Applications > Semantic Web Services > 62-77
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Optimizations > 196-207