Sciweavers

3387 search results - page 396 / 678
» Automating the Metamodeling Process
Sort
View
ICCBR
2007
Springer
16 years 23 days ago
Explanations and Case-Based Reasoning in Ambient Intelligent Systems
Interacting with intelligent systems in general and ambient intelligent systems in particular, requires that these systems have the ability to build a trust relationship with the u...
Jörg Cassens, Anders Kofod-Petersen
INEX
2007
Springer
16 years 23 days ago
Overview of INEX 2007 Link the Wiki Track
Wikipedia is becoming ever more popular. Linking between documents is typically provided in similar environments in order to achieve collaborative knowledge sharing. However, this ...
Darren Wei Che Huang, Yue Xu, Andrew Trotman, Shlo...
ISI
2007
Springer
16 years 23 days ago
Organizing Hot-Spot Police Patrol Routes
—We address the problem of planning patrol routes to maximize coverage of important locations (hot spots) at minimum cost (length of patrol route). We model a road network using ...
Sudarshan S. Chawathe
LPAR
2007
Springer
16 years 22 days ago
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
Francien Dechesne, Mohammad Reza Mousavi, Simona O...
RR
2007
Springer
16 years 22 days ago
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...