Sciweavers

1398 search results - page 66 / 280
» Ensuring Properties of Interaction Systems
Sort
View
CDC
2010
IEEE
114views Control Systems» more  CDC 2010»
14 years 11 months ago
Sufficient conditions for flocking via graph robustness analysis
In this paper, we consider a multi-agent system consisting of mobile agents with second-order dynamics. The communication network is determined by a standard interaction rule based...
Samuel Martin, Antoine Girard
IJET
2008
114views more  IJET 2008»
15 years 4 months ago
Proposal of convergence of e-Learning Systems for t-Learning
This article presents considerations about viability on reutilize existing web based e-Learning systems on Interactive Digital TV environment according to Digital TV standard adopt...
Barbara De Franco, Hilda Carvalho Oliveira, Everal...
SIGIR
2010
ACM
15 years 8 months ago
Uncovering social spammers: social honeypots + machine learning
Web-based social systems enable new community-based opportunities for participants to engage, share, and interact. This community value and related services like search and advert...
Kyumin Lee, James Caverlee, Steve Webb
ATAL
2008
Springer
15 years 6 months ago
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...
Paola Spoletini, Mario Verdicchio
ICSE
2003
IEEE-ACM
15 years 9 months ago
Multi-view Software Component Modeling for Dependability
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
Roshanak Roshandel, Nenad Medvidovic