844 search results - page 83 / 169 » More On Implicit Syntax |
130
Voted
JWSR
2007
15 years 3 months ago
2007
: With the rising popularity of Web services, both academia and industry have invested considerably in Web service description standards, discovery, and composition techniques. The...
144
Voted
VLSISP
2008
15 years 3 months ago
2008
In this paper we describe a regular expression pattern matching approach for reconfigurable hardware. Following a Non-deterministic Finite Automata direction, we introduce three ne...
144
Voted
COMPSEC
2004
15 years 3 months ago
2004
Security technology suitable for the burgeoning embedded system market has not been widespread. Untrusted code downloaded from the Internet poses numerous security risks due to th...
116
Voted
ENTCS
2000
15 years 3 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
158
Voted
CORR
1998
Springer
15 years 3 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...