380 search results - page 63 / 76 » Formal driven prototyping approach for multiagent systems |
146
Voted
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
143
Voted
EDUTAINMENT
2007
Springer
15 years 10 months ago
2007
Springer
Interactive storytelling in the virtual environment attracts a lot of research interests in recent years. Story plot and character are two most important elements of a story. Based...
168
click to vote
AAAI
2010
15 years 6 months ago
2010
Forming effective coalitions is a major research challenge in AI and multi-agent systems (MAS). Coalition Structure Generation (CSG) involves partitioning a set of agents into coa...
158
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
105
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...