5451 search results - page 976 / 1091 » Typed Operational Semantics |
154
click to vote
HIPC
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we propose a distributed clustering algorithm for a multi-hop packet radio network. These types of networks, also known as ad hoc networks, are dynamic in nature due...
134
Voted
CSFW
1995
IEEE
15 years 7 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
132
Voted
WSC
2008
15 years 5 months ago
2008
Multitrajectory simulation allows explicit management of random events by allowing particular events to be resolved by random draw, by a deterministic choice, or by creating new s...
117
Voted
EACL
2006
ACL Anthology
15 years 4 months ago
2006
ACL Anthology
I propose a uniform approach to the elimination of redundancy in CCG lexicons, where grammars incorporate inheritance hierarchies of lexical types, defined over a simple, feature-...
128
click to vote
DGO
2003
15 years 4 months ago
2003
The Internet has become the most frequently accessed medium for obtaining various types of data. In particular, government agencies, academic institutions, and private enterprises...