759 search results - page 92 / 152 » Verification of a Microprocessor Using Real World Applicatio... |
ECUMN
2007
Springer
15 years 3 months ago
2007
Springer
After decades of expansion, Internet became an essential tool useful for professionals and private individuals providing a large range of services like emailing, management of ban...
162
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
Probabilistic databases have received considerable attention recently due to the need for storing uncertain data produced by many real world applications. The widespread use of pr...
ESCIENCE
2006
IEEE
15 years 3 months 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, ...
COMAD
2009
14 years 11 months ago
2009
Active rules model and enforce enterprise requirements such as situation monitoring using events, conditions and actions. These rules are termed active rules as they make the unde...
121
click to vote
ICDE
2011
IEEE
14 years 1 months ago
2011
IEEE
— Array database systems are architected for scientific and engineering applications. In these applications, the value of a cell is often imprecise and uncertain. There are at le...