10038 search results - page 1485 / 2008 » Model Checking for Managers |
200
click to vote
AUSDM
2007
Springer
16 years 1 months ago
2007
Springer
Argumentation allows agents to exchange additional information to argue about their beliefs and other mental attitudes during the negotiation process. Utterances and subsequent obs...
159
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
186
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
Mobile computing technologies and social software have given new challenges to technology-enhanced learning. Simple e-learning system personalization, adaptation and authoring beco...
183
click to vote
EUC
2007
Springer
16 years 1 months ago
2007
Springer
There are many research efforts that focus on converting everyday environments into intelligent and computationally active environments that support and enhance the abilities of it...
232
click to vote
GPC
2007
Springer
16 years 1 months ago
2007
Springer
Sharing huge databases in distributed systems is inherently difficult. As the amount of stored data increases, data localization techniques become no longer sufficient. A more ef...