8808 search results - page 441 / 1762 » Process Change Patterns |
198
Voted
ICAI
2004
15 years 9 months ago
2004
This paper presents the influence of norms on agent trust and autonomy. Different attributes of norms were considered that accentuate trust and attenuate autonomy. Experimental re...
199
Voted
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental ch...
176
Voted
ENTCS
2007
15 years 7 months ago
2007
Composing and orchestrating software components is a fundamental concern in modern software engineering. This paper addresses the possibility of such orchestration being dynamic, ...
174
click to vote
EUROCAST
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In Computational Neuroscience, mathematical and computational modeling are differentiated. In this paper, both kinds of modeling are considered. In particular, modeling ...
176
click to vote
FASE
2001
Springer
16 years 2 days ago
2001
Springer
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...