8492 search results - page 339 / 1699 » Modelling and Design of Multi-Agent Systems |
190
click to vote
AIL
2008
15 years 6 months ago
2008
Software agents' ability to interact within different open systems, designed by different groups, presupposes an agreement on an unambiguous definition of a set of concepts, ...
172
click to vote
EUC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Most of the new embedded systems require high performance processors at low power. To cater to these needs, most semiconductor companies are designing multi-core processo...
181
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
163
click to vote
COMPSAC
2008
IEEE
16 years 20 days ago
2008
IEEE
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...
138
click to vote
ICECCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Messaging services are a useful component in distributed systems that require scalable dissemination of messages (events) from suppliers to consumers. These services decouple supp...