2836 search results - page 393 / 568 » Model Checking for Software Architectures |
169
click to vote
CSSE
2004
IEEE
15 years 6 months ago
2004
IEEE
One of the most important features of XML-based Web services is that they can be easily accessed over the Internet, but this makes them vulnerable to a series of security threats....
168
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Research shows that most agent-based collaborations suffer from lack of flexibility. This is due to the fact that most agent-based applications assume pre-defined knowledge of age...
248
click to vote
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
Programming heterogeneous parallel computer systems is notoriously difficult, but MIMD models have proven to be portable across multi-core processors, clusters, and massively paral...
187
click to vote
LISA
2000
15 years 8 months ago
2000
The open-source software RRDtool and Cricket provide a solution to the problem of collecting, storing, and visualizing service network time series data for the real-time monitorin...
148
click to vote
AC
2008
Springer
15 years 6 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...