3047 search results - page 329 / 610 » A Temporal Consensus Model |
183
click to vote
ICECCS
2005
IEEE
16 years 5 days ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
168
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
170
click to vote
ISMVL
2010
IEEE
15 years 11 months ago
2010
IEEE
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
190
click to vote
PATMOS
2000
Springer
15 years 10 months ago
2000
Springer
Exploitation of data re-use in combination with the use of custom memory hierarchy that exploits the temporal locality of data accesses may introduce significant power savings, esp...
158
click to vote
ECEASST
2008
15 years 6 months ago
2008
Monitoring human-computer interaction aids the analysis for understanding how well software meets its purpose. In particular, monitoring human-computer interactions with respect to...