1707 search results - page 179 / 342 » On the Design of Agent-Based Systems using UML and Extension... |
174
click to vote
SEFM
2005
IEEE
16 years 1 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
173
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
We present WebSOS, a novel overlay-based architecture that provides guaranteed access to a web server that is targeted by a denial of service (DoS) attack. Our approach exploits t...
179
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
In many scientific applications, significant time is spent tuning codes for a particular highperformance architecture. Tuning approaches range from the relatively nonintrusive (...
177
click to vote
IEEEARES
2006
IEEE
16 years 15 days ago
2006
IEEE
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...
158
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—The Internet has become a cost-effective vehicle for software development and release, particular in the free software community. Given the free nature of this software, there a...