614 search results - page 52 / 123 » aime 2003 |
121
click to vote
ESAW
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Multi-agent systems considered in the paper consist of a finite number of agents, positions of which can be changed by system actions, and of an evaluation function whic...
154
click to vote
EUSAI
2003
Springer
15 years 9 months ago
2003
Springer
This invited talk starts out with a review of the previously developed Roomware® concept and sample prototypes as an approach for designing new forms of interaction and collaborat...
183
click to vote
FASE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
115
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
133
click to vote
FPL
2003
Springer
15 years 9 months ago
2003
Springer
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...