6274 search results - page 781 / 1255 » Proofs, Programs, Processes |
213
click to vote
JETAI
2007
15 years 6 months ago
2007
Research in computational cognitive modeling investigates the nature of cognition through developing process-based understanding by specifying computational models of mechanisms (...
185
click to vote
JLP
2007
15 years 6 months ago
2007
Secret or private information may be leaked to an external attacker through the timing behaviour of the system running the untrusted code. After introducing a formalisation of thi...
184
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
Abstract. The paper presents new method for sequential classification of the time series observations. Methods and algorithms of sequential recognition are obtained on the basis of...
179
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
This paper provides an overview of important software engineering research issues related to the development of applications that run on mobile devices. Among the topics are devel...
156
click to vote
CCE
2010
15 years 4 months ago
2010
The paper examines the applicability of mathematical programming methods to the simultaneous optimization of the structure and the operational parameters of a combined-cycle-based...