2250 search results - page 35 / 450 » Interactive Explanation of Software Systems |
104
Voted
HRI
2006
ACM
15 years 8 months ago
2006
ACM
In order for humans and robots to work effectively together, they need to be able to converse about abilities, goals and achievements. Thus, we are developing an interaction infr...
122
Voted
KBSE
1995
IEEE
15 years 6 months ago
1995
IEEE
Numerical design optimization algorithms are highly sensitive to the particular formulation of the optimization problems they are given. The formulation of the search space, the o...
129
Voted
ACHI
2009
IEEE
15 years 9 months ago
2009
IEEE
Human interaction like entering some data, making decisions etc. has to be dealt with as an integral part of today’s business processes and the supporting IT likewise. Hence, hu...
124
Voted
ENTCS
2010
15 years 2 days ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
142
Voted
ICSE
2011
IEEE-ACM
14 years 6 months ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...