882 search results - page 16 / 177 » Analysis of Composite Corridors |
AR
2006
13 years 8 months ago
2006
In this paper the control of exible joint manipulators is studied in detail. The model of N{axis exible joint manipulators are derived and reformulated in the form of singular per...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
BMEI
2009
IEEE
13 years 9 months ago
2009
IEEE
It is widely accepted that complexity of biological systems arises from combinations of common subunits. In this work we investigate the combinatorial patterns of protein domains ...
ESORICS
2002
Springer
14 years 8 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
SOCO
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...