Sciweavers

2757 search results - page 180 / 552
» Empirical investigations of conceptual modeling and the mode...
Sort
View
ICCD
2006
IEEE
103views Hardware» more  ICCD 2006»
16 years 3 months ago
Requirements and Concepts for Transaction Level Assertions
— The latest development of hardware design and ation methodologies shows a trend towards abstraction levels higher than RTL, referred to as transaction level (TL). Transaction l...
Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas ...
IJON
2007
55views more  IJON 2007»
15 years 6 months ago
Short-term plasticity in a computational model of the tail-withdrawal circuit in Aplysia
The tail-withdrawal circuit of Aplysia provides a useful model system for investigating synaptic dynamics. Sensory neurons within the circuit manifest several forms of synaptic pl...
Douglas A. Baxter, John H. Byrne
ICRA
2010
IEEE
111views Robotics» more  ICRA 2010»
15 years 5 months ago
Two-dimensional dynamic modeling of a sliding motion of a soft fingertip focusing on stick-to-slip transition
Abstract— We describe here our proposed method to investigate the sliding motion of a soft fingertip in the dexterous manipulation. This paper focuses on analyzing dynamic slidi...
Van Anh Ho, Shinichi Hirai
LICS
2006
IEEE
16 years 17 days ago
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
Marcelo P. Fiore, Sam Staton
FOSAD
2000
Springer
15 years 10 months ago
Access Control: Policies, Models, and Mechanisms
Access control is the process of mediating every request to resources and data maintained by a system and determining whether the request should be granted or denied. The access co...
Pierangela Samarati, Sabrina De Capitani di Vimerc...