2357 search results - page 56 / 472 » Computing Refactorings of Behavior Models |
73
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Agent-based on-line negotiation technology has the potential to radically change the way e-business is conducted. In this paper, we present a formal model for autonomous agents to...
108
click to vote
AGI
2008
15 years 2 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...
97
Voted
CONCUR
1991
Springer
15 years 4 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
105
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
We present in this paper an approach aiming at adapting software components. It focuses on adapting component structures instead of adapting component services. Among the motivati...
94
Voted
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
In recent years, instant messaging (IM) has become a popular medium of online communication. While IM is expanding into the enterprise beyond personal use, it brings the convenien...