454 search results - page 62 / 91 » Negotiating Models |
ISPW
2005
IEEE
15 years 3 months ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— In this paper, we explore the capabilities of actuated models of the compass gait walker on rough terrain. We solve for the optimal high-level feedback policy to negoti...
97
Voted
CONTEXT
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper, we propose a general model of schema matching based on the following ideas: on the one hand, a schema is viewed as a context (namely as a partial and appro...
ICDCS
2005
IEEE
15 years 3 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
RE
2004
Springer
15 years 3 months ago
2004
Springer
Due to the generality and complexity of enterprise systems, they are challenging to implement and deploy successfully in organizations. Many of these problems are rooted in the wa...