2416 search results - page 285 / 484 » The Language of Cortical Dynamics |
165
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
185
click to vote
UM
2005
Springer
15 years 12 months ago
2005
Springer
This research aims at reconciling web personalization with privacy constraints imposed by legal restrictions and by users’ privacy preferences. We propose a software product line...
138
click to vote
PASTE
2004
ACM
15 years 12 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
151
click to vote
DSOM
2004
Springer
15 years 12 months ago
2004
Springer
Autonomic distributed management enables for deploying self-directed monitoring and control tasks that track dynamic network problems such as performance degradation and security t...
164
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This article presents a novel design flow called MOUSE for the effective development of digital signal processing systems in terms of development time, performance and p...