5639 search results - page 829 / 1128 » Timed Abstract Non-interference |
124
click to vote
WDAG
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The vast majority of papers on distributed computing assume that processes are assigned unique identifiers before computation begins. But is this assumption necessary? W...
135
click to vote
WEA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A5/1 pseudo-random bit generator, known from GSM networks, potentially might be used for different purposes, such as secret hiding during cryptographic hardware testing, ...
136
click to vote
ARCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
137
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however e...
125
click to vote
ERLANG
2004
ACM
15 years 10 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...