1099 search results - page 78 / 220 » A tool for assisting the understanding and formal developmen... |
JVM
2004
13 years 10 months ago
2004
Modern Java programs, such as middleware and application servers, include many complex software components. Improving the performance of these Java applications requires a better ...
CCS
2004
ACM
14 years 2 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
AUIC
2005
IEEE
14 years 2 months ago
2005
IEEE
In both commercial and academic environments, software development frameworks are an important tool in the construction of industrial strength software solutions. Despite the role...
CAV
2012
Springer
11 years 11 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...