Sciweavers

2960 search results - page 198 / 592
» The Culture Based Model: Constructing a Model of Culture
Sort
View
IWNAS
2008
IEEE
16 years 24 days ago
Event-based Trust Framework Model in Wireless Sensor Networks
The security of wireless sensor networks is ever more important nowadays. Most of the proposed security protocols in wireless sensor networks are based on authentication and encry...
Haiguang Chen, Huafeng Wu, Jinchu Hu, Chuanshan Ga...
IJCNN
2006
IEEE
16 years 13 days ago
Implementing Synaptic Plasticity in a VLSI Spiking Neural Network Model
— This paper describes an area-efficient mixed-signal implementation of synapse-based long term plasticity realized in a VLSI1 model of a spiking neural network. The artificial...
Johannes Schemmel, Andreas Grübl, Karlheinz M...
SOCO
2005
Springer
15 years 12 months ago
A Model of Components with Non-regular Protocols
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
Mario Südholt
HYBRID
2003
Springer
15 years 11 months ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
HICSS
2002
IEEE
93views Biometrics» more  HICSS 2002»
15 years 11 months ago
Using Event Semantics for Modeling Contracts
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
Yao-Hua Tan, Walter Thoen