8492 search results - page 339 / 1699 » Modelling and Design of Multi-Agent Systems |
215
click to vote
AIL
2008
15 years 7 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, ...
189
click to vote
EUC
2005
Springer
16 years 9 days 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...
191
click to vote
VMCAI
2005
Springer
16 years 7 days 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 ...
178
click to vote
COMPSAC
2008
IEEE
16 years 1 months 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...
160
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...