3844 search results - page 592 / 769 » Modular interpreted systems |
193
click to vote
CCS
2007
ACM
16 years 20 days ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
159
click to vote
ISSAC
2007
Springer
16 years 19 days ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
168
click to vote
KBSE
2006
IEEE
16 years 15 days ago
2006
IEEE
Aspect-Oriented Programming (AOP) has been proposed in literature to overcome modularization shortcomings such as the tyranny of the dominant decomposition. However, the new langu...
167
click to vote
CASES
2006
ACM
16 years 14 days ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
197
click to vote
KBSE
2005
IEEE
16 years 2 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...