1414 search results - page 127 / 283 » Combining Intruder Theories |
104
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
92
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Direct physical human-robot interaction has become a central part in the research field of robotics today. To use the advantages of the potential for humans and robots...
102
click to vote
ISPW
2009
IEEE
15 years 7 months ago
2009
IEEE
: Software qualities are in many cases tacit and hard to measure. Thus, there is a potential risk that they get lower priority than deadlines, cost and functionality. This paper pr...
91
Voted
BRAIN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. By adopting neurological theories on the role of emotions and feelings, an agent model is introduced incorporating the reciprocal interaction between believing and feelin...
108
Voted
ISSAC
2009
Springer
15 years 7 months ago
2009
Springer
We present algorithms and heuristics to compute the characteristic polynomial of a matrix given its minimal polynomial. The matrix is represented as a black-box, i.e., by a functi...