7526 search results - page 1246 / 1506 » The Design and Implementation of the A2QM3 System |
127
Voted
ICCD
2000
IEEE
15 years 5 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
136
click to vote
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
106
click to vote
ASPLOS
2010
ACM
15 years 5 months ago
2010
ACM
This paper proposes an efficient hardware/software system that significantly enhances software security through diversified replication on multi-cores. Recent studies show that a ...
120
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
We address the learning of trust based on past observations and context information. We argue that from the truster's point of view trust is best expressed as one of several ...
126
click to vote
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
Real-time materialized view maintenance has become increasingly popular, especially in real-time data warehousing and data streaming environments. Upon updates to base relations, ...