4690 search results - page 280 / 938 » An operational semantics for Scheme |
161
click to vote
ISW
2010
Springer
15 years 4 months ago
2010
Springer
Recently, a new scheme to protect clients against DNS cache poisoning attacks was introduced. The scheme is referred to as DepenDNS and is intended to protect clients against such ...
181
Voted
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
The wireless mesh networks (WMNs) are statically deployed on heterogeneous areas and are operating in open wireless media, and thus it coexists with other networks operating on the...
158
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
167
click to vote
EDOC
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with con...
168
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...