Sciweavers

2474 search results - page 248 / 495
» Using Knowledge Management Systems to Structure Knowledgeabl...
Sort
View
ENTCS
2006
123views more  ENTCS 2006»
15 years 6 months ago
Steering of Discrete Event Systems: Control Theory Approach
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
Arvind Easwaran, Sampath Kannan, Oleg Sokolsky
AAAI
2010
15 years 8 months ago
A Temporal Proof System for General Game Playing
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
Michael Thielscher, Sebastian Voigt
GAMEON
2007
15 years 8 months ago
Agent Based Virtual Tutorship and E-Learning Techniques Applied to a Business Game Built on System Dynamics
An advanced Business Game is presented in the paper, built on the methodology of System Dynamics. It can be used for cognitive learning and knowledge transmission in schools and U...
Marco Remondino
ECBS
2010
IEEE
147views Hardware» more  ECBS 2010»
15 years 11 months ago
Supporting Customizable Architectural Design Decision Management
—When engineering complex software systems, the key Architectural Design Decisions (ADD) and the reasoning underlying those decisions need to be fully understood by all stakehold...
Lianping Chen, Muhammad Ali Babar
IJWBC
2006
68views more  IJWBC 2006»
15 years 6 months ago
A web community to foster science in developing countries: www.ictp.it
: The experiences with the new ICTP website, aiming to satisfy the need for a modern and appealing image, as well as provide tailored online information and services to its scienti...
Enrique Canessa, Carlo Fonda, Marco Zennaro, Katep...