2836 search results - page 490 / 568 » Model Checking for Software Architectures |
139
click to vote
ESCIENCE
2005
IEEE
15 years 11 months ago
2005
IEEE
The GRIA project set out to make the Grid usable by industry. The GRIA middleware is based on Web Services, and designed to meet the needs of industry for security and business-to...
155
click to vote
MABS
2004
Springer
15 years 10 months ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
156
click to vote
ITS
2000
Springer
15 years 9 months ago
2000
Springer
We are designing a computational architecture for a "learning economy" based on personal software agents who represent users in a virtual society and assist them in find...
167
click to vote
PRICAI
2000
Springer
15 years 9 months ago
2000
Springer
Current research identifying architectures for a virtual enterprise has moved from information modelling to role modelling. Thus, a high level of autonomy results from the distribu...
151
click to vote
ISPASS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we introduce PTLsim, a cycle accurate full system x86-64 microprocessor simulator and virtual machine. PTLsim models a modern superscalar out of order x86-64 proces...