2573 search results - page 393 / 515 » Combinations of Modal Logics |
136
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
Preserving integrity of applications being executed in remote machines is an open problem. Integrity requires that application code is not tampered with, prior to or during execut...
130
click to vote
DASFAA
2007
IEEE
15 years 11 months ago
2007
IEEE
Similarity retrieval have been widely used in many practical search applications. A similarity query model can be viewed as a logical combination of a set of similarity predicates....
121
click to vote
GLVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
Parallel counters are key elements in many arithmetic circuits, especially fast multipliers. In this paper, novel architectures and designs for high speed, low power (3, 2), (7, 3...
119
click to vote
IEEEPACT
2007
IEEE
15 years 11 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
150
click to vote
IEEESCC
2007
IEEE
15 years 11 months ago
2007
IEEE
A service-oriented architecture (SOA) promises a more flexible intra- and interorganizational integration of heterogeneous application systems. The central design element of a SOA...