1177 search results - page 113 / 236 » Integrating Security Administration into Software Architectu... |
125
click to vote
ICCL
1998
IEEE
15 years 7 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
122
click to vote
DAC
1999
ACM
15 years 7 months ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
131
click to vote
FASE
2000
Springer
15 years 6 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
124
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
118
click to vote
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
Given the widespread intimidation state of affairs, there is a gripping want to enlarge architectures, algorithms, and protocols to apprehend a trustworthy network infrastructure....