342 search results - page 58 / 69 » Calling context abstraction with shapes |
109
click to vote
ELPUB
1999
ACM
15 years 6 months ago
1999
ACM
and abstract entry. But since the burgeoning of the scholarly literature since World War II, these processes had become well-known and expertly done by most organizations in the pu...
137
click to vote
AFRICACRYPT
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This article investigates the relevance of the theoretical framework on profiled side-channel attacks presented by F.-X. Standaert et al. at Eurocrypt 2009. The analyses ...
135
click to vote
ERSHOV
2006
Springer
15 years 5 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
217
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
127
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The emergence of complex network structures of relationships between autonomous agents occurs in a wide range of distributed systems. Many researchers have proposed model...