4190 search results - page 111 / 838 » Type Class Directives |
121
Voted
DFG
2009
Springer
15 years 9 months ago
2009
Springer
Social network analysis investigates the structure of relations amongst social actors. A general approach to detect patterns of interaction and to filter out irregularities is to ...
137
click to vote
CRYPTO
2007
Springer
15 years 6 months ago
2007
Springer
system is the abstraction of the input-output behavior of any kind of discrete system, in particular cryptographic systems. Many aspects of cryptographic security analyses and pro...
159
Voted
WOLLIC
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
166
Voted
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
– Mobile Ad-hoc Networks (MANETs) are important in pervasive computing systems, in which users discover and utilize various services to achieve their goals. Integrating service d...
133
Voted
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...