26354 search results - page 342 / 5271 » How we refactor, and how we know it |
199
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
226
click to vote
AI50
2006
15 years 10 months ago
2006
Abstract. This article discusses the issues of adaptive autonomous navigation as a challenge of artificial intelligence. We argue that, in order to enhance the dexterity and adapti...
178
click to vote
WSC
2007
15 years 9 months ago
2007
In this paper, we suggest a framework that allows for the simulation-based performance assessment of complex manufacturing systems with Automated Material Handling Systems (AMHS)....
157
click to vote
ARGMAS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The purpose of this paper is to investigate how argumentation processes among a group of agents may affect the outcome of group judgments. In particular we will focus on ...
194
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalization...