Search results for: Marco Pistore
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2000 > Contributed Papers > 569-578
Lecture Notes in Computer Science > Formal Techniques for Computer Systems and Business Processes > WS-FM > 318-332
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Services > 61-76
Lecture Notes in Computer Science > Artificial Intelligence: Methodology, Systems, and Applications > Knowledge Representation and Reasoning > 11-20
Lecture Notes in Computer Science > STACS 97 > 413-425
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems: OTM 2010 > Services Computing > 291-308
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Process Algebra > 255-269
Lecture Notes in Computer Science > Towards a Service-Based Internet > Adaptation/Monitoring (1) > 25-37
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Service Engineering > 137-169
Multiagent Systems, Artificial Societies, and Simulated Organizations > Methodologies and Software Engineering for Agent Systems > Methodologies for Agent-Based Systems Development > 89-106