Sciweavers

7512 search results - page 381 / 1503
» Robust Computations with Dynamical Systems
Sort
View
AP2PC
2003
Springer
16 years 24 days ago
Multi-agent Interaction Technology for Peer-to-Peer Computing in Electronic Trading Environments
Open trading environments involve a type of peer-to-peer computing characterised by well-defined interaction protocols that are used by the traders and sometimes updated dynamicall...
Martin K. Purvis, Mariusz Nowostawski, Stephen Cra...
APGV
2010
ACM
266views Visualization» more  APGV 2010»
15 years 11 months ago
Horizon estimation: perceptual and computational experiments
The human visual system is able to quickly and robustly infer a wealth of scene information – the scene "gist" – already after 100 milliseconds of image presentation...
Christian Herdtweck, Christian Wallraven
ATVA
2008
Springer
131views Hardware» more  ATVA 2008»
15 years 9 months ago
Computation Tree Regular Logic for Genetic Regulatory Networks
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, H...
JSW
2007
119views more  JSW 2007»
15 years 7 months ago
Formalizing Mobility in Service Oriented Computing
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
Claudio Guidi, Roberto Lucchi
SACMAT
2003
ACM
16 years 24 days ago
Dynamic access control: preserving safety and trust for network defense operations
We investigate the cost of changing access control policies dynamically as a response action in computer network defense. We compare and contrast the use of access lists and capab...
Prasad Naldurg, Roy H. Campbell