2015 search results - page 77 / 403 » Some Observations on Indifferentiability |
91
Voted
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
— Many everyday human skills can be framed in terms of performing some task subject to constraints imposed by the environment. Constraints are usually unobservable and frequently...
103
Voted
ICSM
2009
IEEE
15 years 7 months ago
2009
IEEE
Source code search is an important activity for programmers working on a change task to a software system. As part of a larger project to improve tool support for finding informa...
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
—Particle Swarm Optimisation (PSO) is increasingly being applied to optimisation of multi-objective problems in engineering design and scientific investigation. This paper inves...
79
Voted
ACSD
2008
IEEE
15 years 7 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
90
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— In this paper an approach to reduce nonlinear non-observable and non-strongly accessible port-Hamiltonian systems to an observable and strongly accessible portHamiltonian syste...