5638 search results - page 1109 / 1128 » On presence |
174
click to vote
JLP
2010
15 years 28 days ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
152
click to vote
JOC
2010
15 years 28 days ago
2010
Abstract. In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their private inputs. The computati...
185
click to vote
JSS
2010
15 years 28 days ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
138
click to vote
SIAMADS
2010
15 years 27 days ago
2010
Previous numerical and analytical work has shown that synaptic coupling can allow a network of model neurons to synchronize despite heterogeneity in intrinsic parameter values. In ...
151
click to vote
SIAMREV
2010
15 years 27 days ago
2010
Abstract. The main thrust of the paper is the design and the numerical analysis of new capand-trade schemes for the control and the reduction of atmospheric pollution. The tools de...