2483 search results - page 68 / 497 » A design framework to model retinas |
IRI
2006
IEEE
15 years 3 months ago
2006
IEEE
Safeguarding practices for networked systems involves decisions in at least three areas: identification of welldefined security policies, selection of cost-effective defense strat...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
OSDI
2000
ACM
14 years 11 months ago
2000
ACM
The tradeoffs between consistency, performance, and availability are well understood. Traditionally, however, designers of replicated systems have been forced to choose from eithe...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Global warming, and the climate change it induces, is an urgent global issue. One remedy to this problem, and the focus of this paper, is to motivate sustainable energy usage beha...
BPM
2005
Springer
15 years 3 months ago
2005
Springer
Scientific experiments are supported by activities that create, use, communicate and distribute information whose organizational dynamics is similar to processes performed by distr...