13 search results - page 3 / 3 » Synthesis of Nonautonomous Systems with Specified Limit Cycl... |
CASES
2009
ACM
14 years 2 days ago
2009
ACM
Computer systems are resource constrained. Application adaptation is a useful way to optimize system resource usage while satisfying the application performance constraints. Previ...
AAAI
2007
13 years 7 months ago
2007
Often remote investigations use autonomous agents to observe an environment on behalf of absent scientists. Predictive exploration improves these systems’ efficiency with onboa...
CSFW
2002
IEEE
13 years 10 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...