Sciweavers

97 search results - page 11 / 20
» Flexible and abstract communication and interconnect modelin...
Sort
View
CORR
2006
Springer
105views Education» more  CORR 2006»
13 years 8 months ago
Knowledge Flow Analysis for Security Protocols
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
Emina Torlak, Marten van Dijk, Blaise Gassend, Dan...
CAISE
2004
Springer
14 years 2 months ago
Enabling Personalized Composition and Adaptive Provisioning of Web Services
Abstract. The proliferation of interconnected computing devices is fostering the emergence of environments where Web services made available to mobile users are a commodity. Unfort...
Quan Z. Sheng, Boualem Benatallah, Zakaria Maamar,...
ATAL
2006
Springer
14 years 11 days ago
Towards a reference model for agent-based systems
The current state of the art in agent technology sees that several implementations of agent frameworks exist. However, there is little agreement on the terms and concepts used to ...
Pragnesh Jay Modi, Spiros Mancoridis, William M. M...
IJCNN
2008
IEEE
14 years 3 months ago
Wafer-scale integration of analog neural networks
Abstract— This paper introduces a novel design of an artificial neural network tailored for wafer-scale integration. The presented VLSI implementation includes continuous-time a...
Johannes Schemmel, Johannes Fieres, Karlheinz Meie...
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
14 years 2 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...