878 search results - page 155 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
106
click to vote
ICCCI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. To facilitate communication and the exchange of information between patients, nurses, lab technicians, health insurers, physicians, policy makers, and existing knowledge-...
109
click to vote
JUCS
2010
14 years 10 months ago
2010
: Model-Driven Development concepts are exhibiting as a good engineering solution for the design of ubiquitous applications with multi-device user interfaces and other contextaware...
101
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
WSC
2000
15 years 1 months ago
2000
Web-based study resources can be viewed as a basic requirement in order to remain a competitive player on a more and more globalised educational market. For that reason it is gett...
108
click to vote
FSTTCS
2008
Springer
15 years 27 days ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...