Sciweavers

1902 search results - page 3 / 381
» Differential Dynamic Logics
Sort
View
IAT
2006
IEEE
13 years 11 months ago
Specification and Verification of Dynamics in Cognitive Agent Models
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
ISCC
2003
IEEE
153views Communications» more  ISCC 2003»
13 years 10 months ago
Fuzzy Explicit Marking for Congestion Control in Differentiated Services Networks
This paper presents a new active queue management scheme, Fuzzy Explicit Marking (FEM), implemented within the differentiated services (Diff-Serv) framework to provide congestion ...
Chrysostomos Chrysostomou, Andreas Pitsillides, Ge...
CHES
2006
Springer
152views Cryptology» more  CHES 2006»
13 years 8 months ago
Security Evaluation of DPA Countermeasures Using Dual-Rail Pre-charge Logic Style
In recent years, some countermeasures against Differential Power Analysis (DPA) at the logic level have been proposed. At CHES 2005 conference, Popp and Mangard proposed a new coun...
Daisuke Suzuki, Minoru Saeki
EUSFLAT
2009
128views Fuzzy Logic» more  EUSFLAT 2009»
13 years 2 months ago
Differential Equations based on Fuzzy Rules
Marina R. B. Dias, Laécio C. Barros
ASPDAC
2008
ACM
160views Hardware» more  ASPDAC 2008»
13 years 7 months ago
Reconfigurable RTD-based circuit elements of complete logic functionality
Abstract--Resonant tunneling diodes (RTDs) have demonstrated promising circuit characteristics of high speed switching property and versatile functionality with negative differenti...
Yexin Zheng, Chao Huang