Tutti i documenti taggati con UNITN

• Towards Integrating Agents with Objects Tracing Systems in AmI
• Auction Negotiation for Mobile Rideshare Service
• B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification
• Agent-oriented AmI Engineering
• Evaluating Procedural Alternatives. A Case Study in E-Voting
• Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT
• Supporting Requirements Analysis in Tropos: a Planning-Based Approach
• Design Patterns for Multiagent Systems to Elevate Pocket Device Applications
• Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach
• Increasing interactivity in Agent-based Advanced Pocket-Device Service Application