3229 search results - page 309 / 646 » Mixing |
173
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
157
click to vote
PDP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes the design of a crawler devised to perform the periodic retrieval of Web documents for a search engine able to accept on-line updates in a concurrent manner. ...
173
click to vote
BROADNETS
2007
IEEE
16 years 1 months ago
2007
IEEE
— A Mobile Ad-Hoc Network (MANET) is considered with nodes that may act selfishly or maliciously by simply dropping data packets rather than forwarding them. We study a distribu...
184
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
The successful execution of workflows using mobile services is dependant on the services behaving as expected. The management of this behaviour in Akogrimo is achieved by a contex...
162
click to vote
CISS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In block-fading transmission, the discrete-time taps of time-varying channels can be generally modelled as a stationary random vector process with unknown and rank-deficient c...