3021 search results - page 346 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
162
click to vote
ISPW
2005
IEEE
16 years 5 days 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...
177
click to vote
SEFM
2005
IEEE
16 years 4 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
165
click to vote
IUI
2005
ACM
16 years 4 days ago
2005
ACM
We describe a method for predicting user intentions as part of a human-robot interface. In particular, we show that funnels, i.e., geometric objects that partition the input space...
179
click to vote
E4MAS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Even if the multi-agent paradigm has been evolving for fifteen years, the development of concrete methods for problem solving remains a major challenge. This paper focus...
199
click to vote
ICCS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...