400 search results - page 48 / 80 » Designing Institutional Multi-Agent Systems |
124
Voted
DEXAW
2008
IEEE
15 years 2 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
99
Voted
CORR
2006
Springer
15 years 18 days ago
2006
Springer
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
106
Voted
ENTCS
2002
15 years 11 days ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
112
Voted
ESCIENCE
2005
IEEE
15 years 6 months ago
2005
IEEE
DIET (Distributed Interactive Engineering Toolbox) is a set of hierarchical components to design Network Enabled Server (NES) systems. In these systems, clients ask to agents (dis...
107
Voted
CCGRID
2001
IEEE
15 years 4 months ago
2001
IEEE
Global Computing achieves high throughput computing by harvesting a very large number of unused computing resources connected to the Internet. This parallel computing model target...