726 search results - page 121 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
ICALT
2007
IEEE
14 years 2 months ago
2007
IEEE
Accommodating learning styles in adaptive educational systems represents an important step towards providing individualized instruction. The paper summarizes the main results repo...
ICIS
2000
13 years 9 months ago
2000
Even as they enjoy impressive growth, one of the major challenges facing providers of online services is a high rate of customer turnover. It has adverse impacts on business perfo...
AAMAS
2002
Springer
13 years 8 months ago
2002
Springer
Abstract. Open systems are becoming increasingly important in a variety of distributed, networked computer applications. Their characteristics, such as agent diversity, heterogenei...
ICOODB
2010
13 years 6 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...