4151 search results - page 451 / 831 » Language Driven System Design |
190
click to vote
SIGIR
2003
ACM
16 years 2 days ago
2003
ACM
A novel Hardware Assisted Top-Doc (HAT) component is disclosed. HAT is an optimized content indexing device based on a modified inverted index structure. HAT accommodates patterns...
203
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Architecture description languages are widely used to perform architecture exploration for application-driven designs, whereas the RT-level is the commonly accepted level for hard...
205
click to vote
PLDI
2005
ACM
16 years 12 days ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
207
click to vote
NAACL
1994
15 years 8 months ago
1994
The Workshop included an extended group of presentations by selected US government agencies and an invited guest from the European Community. These presentations, amplified in the...
194
click to vote
ICFEM
2003
Springer
16 years 1 days ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...