3032 search results - page 371 / 607 » Description Logic Rules |
130
Voted
PERVASIVE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
147
Voted
FPGA
2009
ACM
15 years 1 months ago
2009
ACM
Multi-field packet classification is a key enabling function of a variety of network applications, such as firewall processing, Quality of Service differentiation, traffic billing...
140
Voted
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
The autonomic workflow engine enables workflow to be dynamically specified and adapted using Event-Condition-Action rules. A new approach to autonomic execution of workflow process...
105
click to vote
MEMOCODE
2005
IEEE
15 years 9 months ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
117
Voted
SEFM
2003
IEEE
15 years 9 months ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...