2607 search results - page 141 / 522 » On the Architecture of System Verification Environments |
158
click to vote
DSVIS
2003
Springer
15 years 11 months ago
2003
Springer
We present a new architectural style for synchronous groupware that eases the transition from scenario based modeling to component design, and from component design to distributed ...
175
click to vote
ESCIENCE
2006
IEEE
16 years 15 days ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
154
click to vote
CNSR
2008
IEEE
16 years 27 days ago
2008
IEEE
The increasing demand for more bandwidth and the increased application variety fuel the need for high performance network processors. A simple but highly repetitive task performed...
185
click to vote
SAC
2006
ACM
16 years 12 days ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
151
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper reports the methodologies and findings of research done by the Enterprise Social Learning Architecture (ESLA) Task into learning processes in two diverse environments w...