Codice:
E100305
Dati Generali
Pubblicazioni (36)
A Commitment-based Communicative Act Library
Capitolo di libroA fault-driven combinatorial process for model evolution in XSS vulnerability detection
Contributo in Atti di convegnoA logical model of social commitment for agent communication
Contributo in Atti di convegnoA social approach to communication in multiagent systems
Contributo in Atti di convegnoASM 2003. A double anniversary in Sicily
Sezione di libroAddressing usability in a formal development environment
Contributo in Atti di convegnoAffective Visuomotor Interaction: A Functional Model for Socially Competent Robot Grasping
Contributo in Atti di convegnoAn open-source virtual reality platform for clinical and research applications
Contributo in Atti di convegnoCan BlockChain Technology Provide Information Systems with Trusted Database? The Case of HyperLedger Fabric
Contributo in Atti di convegnoCommitment Monitoring in a Multiagent System
Contributo in Atti di convegnoComplexity and Algorithms for MUL-Tree Pruning
Contributo in Atti di convegnoComplexity issues of string to graph approximate matching
Contributo in Atti di convegnoControlled Query Evaluation in Ontology-Based Data Access
Contributo in Atti di convegnoDealing with time in Content Language expressions
Contributo in Atti di convegnoDeveloping Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study
Contributo in Atti di convegnoDiscovering and Analyzing Multi-granular Web Search Results
Contributo in Atti di convegnoEffects of different kinds of robot feedback
Contributo in Atti di convegnoEfficient and Settings-Free Calibration of Detailed Kinetic Metabolic Models with Enzyme Isoforms Characterization
Contributo in Atti di convegnoEstimation of kinetic reaction constants: exploiting reboot strategies to improve PSO’s performance
Contributo in Atti di convegnoExploring the Concept of Abstract State Machines for System Runtime Enforcement
Contributo in Atti di convegnoExtending ASMETA with Time Features
Contributo in Atti di convegnoHYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications
Contributo in Atti di convegnoHaraliCU: GPU-powered Haralick feature extraction on medical images exploiting the full dynamics of gray-scale levels
Contributo in Atti di convegnoJ-CO, A Framework for Fuzzy Querying Collections of JSON Documents (Demo)
Contributo in Atti di convegnoModelling SystemC process behavior by the UML method state machines
Contributo in Atti di convegnoModelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA
Contributo in Atti di convegnoNaturalistic Conversational Gaze Control for Humanoid Robots - A First Step
Contributo in Atti di convegnoRegular Expression Learning with Evolutionary Testing and Repair
Contributo in Atti di convegnoRepairing Timed Automata Clock Guards through Abstraction and Testing
Contributo in Atti di convegnoReversibility and irreversibility in quantum computation and in quantum computational logics
Contributo in Atti di convegnoThe ASMETA Approach to Safety Assurance of Software Systems
Capitolo di libroTop k 2-clubs in a network: A genetic algorithm
Contributo in Atti di convegnoTowards a logical model of social agreement for agent societies
Contributo in Atti di convegnoVR-mirror: A virtual reality system for mental practice in post-stroke rehabilitation
Contributo in Atti di convegnoNo Results Found