Sciweavers

5615 search results - page 241 / 1123
» On the Computational Capabilities of Several Models
Sort
View
CONCUR
2009
Springer
16 years 1 months ago
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
Vashti Galpin, Luca Bortolussi, Jane Hillston
SPC
2005
Springer
16 years 22 days ago
TrustAC: Trust-Based Access Control for Pervasive Devices
Alice first meets Bob in an entertainment shop, then, they wish to share multimedia content, but Do they know what are trustworthy users? How do they share such information in a s...
Florina Almenárez Mendoza, Andrés Ma...
ISCAS
2005
IEEE
159views Hardware» more  ISCAS 2005»
16 years 25 days ago
A Fourier series-based RLC interconnect model for periodic signals
— Based on a Fourier series analysis, an analytic interconnect model is presented which is suitable for periodic signals, such as a clock signal. In this model, the far end time ...
Guoqing Chen, Eby G. Friedman
EPIA
2007
Springer
16 years 1 months ago
Prospective Logic Agents
As we face the real possibility of modelling agent systems capable of non-deterministic self-evolution, we are confronted with the problem of having several different possible futu...
Luís Moniz Pereira, Gonçalo Lopes
ICANN
2009
Springer
15 years 12 months ago
Learning Complex Population-Coded Sequences
The sequential structure of complex actions is apparently at an abstract “cognitive” level in several regions of the frontal cortex, independent of the control of the immediate...
Kiran V. Byadarhaly, Mithun Perdoor, Suresh Vasa, ...