1005 search results - page 180 / 201 » A Language for Manipulating Arrays |
ECMDAFA
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...
EMSOFT
2010
Springer
14 years 7 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
113
click to vote
CSCW
2011
ACM
14 years 4 months ago
2011
ACM
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
189
click to vote
DLOG
2011
14 years 1 months ago
2011
In this paper we present a formal framework and tool supporting the user in the task of formulating a precise query – which best captures their information needs – even in the ...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Since the invention of the Web, the browser has become more and more powerful. By now, it is a programming and execution environment in itself. The predominant language to program...