Sciweavers

743 search results - page 84 / 149
» A Mechanism for Communicating in Dynamically Reconfigurable ...
Sort
View
ICANN
2005
Springer
15 years 7 months ago
A Hardware/Software Framework for Real-Time Spiking Systems
Abstract. One focus of recent research in the field of biologically plausible neural networks is the investigation of higher-level functions such as learning, development and modu...
Matthias Oster, Adrian M. Whatley, Shih-Chii Liu, ...
ECRTS
2006
IEEE
15 years 7 months ago
On a Theory of Media Processing Systems Behavior, with Applications
In this article we provide a model for the dynamic behavior of media processing chains of tasks communicating via bounded buffers. The aim is to find the overall behavior of a cha...
M. A. Weffers-Albu, Johan J. Lukkien, Elisabet F. ...
119
Voted
FORTE
2007
15 years 3 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
CIA
1998
Springer
15 years 5 months ago
The Dynamics of the UMDL Service Market Society
One of our goals when building the University of Michigan Digital Library UMDL has been to prototype an architecture that can continually recon gure itself as users, contents, and ...
Edmund H. Durfee, Tracy Mullen, Sunju Park, Jos&ea...
MATA
2004
Springer
149views Communications» more  MATA 2004»
15 years 7 months ago
Detecting and Proving Manipulation Attacks in Mobile Agent Systems
Mobile agents are software entities consisting of code, data and state that can migrate autonomously from host to host executing their code. Unfortunately, security issues restrict...
Oscar Esparza, Miguel Soriano, Jose L. Muño...