6054 search results - page 88 / 1211 » Implementation of Andorra-based Languages |
164
click to vote
SP
2000
IEEE
15 years 9 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...
203
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known imp...
130
click to vote
SC
2005
ACM
15 years 10 months ago
2005
ACM
The proliferation of biological sequence data has motivated the need for an extremely fast probabilistic sequence search. One method for performing this search involves evaluating...
151
click to vote
ICCD
2005
IEEE
16 years 1 months ago
2005
IEEE
Presently, Architecture Description Languages (ADLs) are widely used to raise the abstraction level of the design space exploration of Application Specific Instruction-set Proces...
120
click to vote
ISORC
2006
IEEE
15 years 10 months ago
2006
IEEE
The Software Communications Architecture (SCA), which has been adopted as an SDR (Software Defined Radio) Forum standard, provides a framework that successfully exploits common de...