1788 search results - page 267 / 358 » Model Theory for Process Algebra |
125
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Achieving information assurance and security is a complex and challenging task, which is crucial from national and personal security point of views. Research in detecting deceptiv...
134
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...
122
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
In this paper, we study a simple correlation-based strategy for estimating the unknown delay and amplitude of a signal based on a small number of noisy, randomly chosen frequency-...
113
click to vote
WSDM
2010
ACM
16 years 1 months ago
2010
ACM
In addition to the actual content Web pages consist of navigational elements, templates, and advertisements. This boilerplate text typically is not related to the main content, ma...
139
Voted
ICALT
2008
IEEE
15 years 10 months ago
2008
IEEE
Research on modelling affect and on interfaces adaptation based on affective factors has matured considerably over the past several years, so that designers of educational product...