Sciweavers

1392 search results - page 31 / 279
» A Calculus for Dynamic Linking
Sort
View
ESORICS
2008
Springer
13 years 10 months ago
Code-Carrying Authorization
In authorization, there is often a wish to shift the burden of proof to those making requests, since they may have more resources and more specific knowledge to construct the requi...
Sergio Maffeis, Martín Abadi, Cédric...
ATAL
2007
Springer
14 years 3 months ago
Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...
Antônio Carlos da Rocha Costa, Graçal...
CHI
1997
ACM
14 years 1 months ago
Queries? Links? Is there a Difference?
Hypertext interfaces are considered appropriate for information exploration tasks. The prohibitively expensive link creation effort, however, prevents traditional hypertext interf...
Gene Golovchinsky
ECAL
2007
Springer
14 years 3 months ago
Measuring Entropy in Embodied Neural Agents with Homeostasic Units: A Link Between Complexity and Cybernetics
Abstract. We present a model of a recurrent neural network with homeostasic units, embodied in a minimalist articulated agent with a single link and joint. The configuration of th...
Jorge Simão
SIGMETRICS
2012
ACM
197views Hardware» more  SIGMETRICS 2012»
11 years 11 months ago
Fluid limit of an asynchronous optical packet switch with shared per link full range wavelength conversion
We consider an asynchronous all optical packet switch (OPS) where each link consists of N wavelength channels and a pool of C ≤ N full range tunable wavelength converters. Under...
Benny Van Houdt, Luca Bortolussi