623 search results - page 27 / 125 » Relational Parametricity for Control Considered as a Computa... |
168
click to vote
SUTC
2008
IEEE
16 years 16 days ago
2008
IEEE
Recently proposed usage control concept and models extend traditional access control models with features for contemporary distributed computing systems, including continuous acce...
173
click to vote
ICMCS
2008
IEEE
16 years 18 days ago
2008
IEEE
Information overload has become an important problem in the internet, and that all kinds of existing ads flood into people’s eyes causes scarcity of user’s attention. To provi...
165
click to vote
VR
2008
IEEE
16 years 16 days ago
2008
IEEE
As the use of virtual and augmented reality applications becomes more common, the need to fully understand how observers perceive spatial relationships grows more critical. One of...
165
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
160
click to vote
JUCS
2007
15 years 6 months ago
2007
: Spiking neural P systems are computing models inspired from the way the neurons communicate by means of spikes, electrical impulses of identical shapes. In this note we consider ...