6040 search results - page 1189 / 1208 » Generating Instance Models from Meta Models |
151
click to vote
SACMAT
2006
ACM
15 years 11 months ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...
137
click to vote
ICITA
2005
IEEE
15 years 10 months ago
2005
IEEE
Many efforts in past years have been made to lower the linguistic barriers for non-native English speakers to access the Internet. IDNA [2] focuses on access to Internationalized ...
142
Voted
JCDL
2005
ACM
15 years 10 months ago
2005
ACM
Constructing a Chinese digital library, especially for a historical article archiving, is often bothered by the small character sets supported by the current computer systems. Thi...
168
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
This work achieves full registration of scenes in a large area and creates visual indexes for visualization in a digital city. We explore effective mapping, indexing, and display ...
172
Voted
PASTE
2005
ACM
15 years 10 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...