Search results for: Claudio Bartolini
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Web Science > 425-434
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Software Engineering for Multi-Agent Systems III > Dependability and Coordination > 213-235
Lecture Notes in Computer Science > Agent-Mediated Electronic Commerce III > Trading Strategies for Interrelated Transactions > 139-154
Lecture Notes in Computer Science > Advances in Rule Interchange and Applications > Session: Business Process, Policy and IT Service Management and Modeling > 53-62
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Web Science > 488-501
Lecture Notes in Computer Science > Integrated Management of Systems, Services, Processes and People in IT > Monitoring and Analysis Tools > 71-84
Lecture Notes in Computer Science > Web Engineering > Industry Papers > 430-444
Lecture Notes in Computer Science > Managing Large-Scale Service Deployment > Operations and Tools > 69-82
Lecture Notes in Computer Science > Integrated Management of Systems, Services, Processes and People in IT > People in IT and Decision Support for IT Management > 138-151
Lecture Notes in Computer Science > Mechanisms for Autonomous Management of Networks and Services > Short Papers > 114-117
Lecture Notes in Computer Science > Agent-Oriented Software Engineering III > Patterns,Architectures,and Reuse > 88-100
Lecture Notes in Computer Science > Managing Large-Scale Service Deployment > Operations and Tools > 83-94
Lecture Notes in Computer Science > Large Scale Management of Distributed Systems > Business and Service Management > 173-184
Lecture Notes in Computer Science