2810 search results - page 368 / 562 » Contract-Based Component System Design |
115
Voted
CONSTRAINTS
2002
14 years 11 months ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
96
Voted
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
98
Voted
ICSM
2005
IEEE
15 years 5 months ago
2005
IEEE
A reference architecture for a domain captures the fundamental subsystems common to systems of that domain as well as the relationships between these subsystems. Having a referenc...
ASIACRYPT
2000
Springer
15 years 4 months ago
2000
Springer
The mobile agent is a fundamental building block of the mobile computing paradigm. In mobile agent security, oblivious transfer (OT) from a trusted party can be used to protect th...
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...