1581 search results - page 180 / 317 » Domain semantics of possibility computations |
76
Voted
ICNP
2007
IEEE
15 years 7 months ago
2007
IEEE
A firewall policy that is correct and complete is crucial to the safety of a computer network. An adversary will benefit a lot from knowing the policy or its semantics. In this pap...
108
Voted
NETGAMES
2006
ACM
15 years 6 months ago
2006
ACM
In this paper we report on our work to enable “laid-back” social interactions using television as a primary interaction medium and mobile devices that participate as a seconda...
108
Voted
SAC
2005
ACM
15 years 6 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
122
Voted
AGP
1996
IEEE
15 years 5 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
121
Voted
ACL
2009
14 years 10 months ago
2009
Recent advances in functional Magnetic Resonance Imaging (fMRI) offer a significant new approach to studying semantic representations in humans by making it possible to directly o...