2255 search results - page 300 / 451 » High Assurance Software Systems |
207
click to vote
CONCURRENCY
1998
15 years 6 months ago
1998
The JPVM library is a software system for explicit message-passing based distributed memory MIMD parallel programming in Java. The library supports an interface similar to the C a...
182
click to vote
SAMOS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Embedded systems contain a wide variety of processors. Economical and technological factors favor systems made of a combination of diverse but programmable processors. So...
185
click to vote
USS
2010
15 years 4 months ago
2010
Despite the widespread deployment of malwaredetection software, in many situations it is difficult to preemptively block a malicious program from infecting a system. Rather, signa...
181
click to vote
MIDDLEWARE
2009
Springer
15 years 11 months ago
2009
Springer
Today’s distributed systems need runtime error detection to catch errors arising from software bugs, hardware errors, or unexpected operating conditions. A prominent class of err...
175
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The success of many innovative Web applications is not based on the content they produce ? but on how they combine and link existing content. Older Web Engineering methods lack fl...