Sciweavers

23098 search results - page 202 / 4620
» Component Based Development
Sort
View
ECAI
2004
Springer
15 years 8 months ago
A Formal Tutoring Process Model for Intelligent Tutoring Systems
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
Alke Martens, Adelinde Uhrmacher
158
Voted
DAGSTUHL
2006
15 years 4 months ago
Aspect-Oriented Techniques for Web Services: a Model-Driven Approach
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...
Guadalupe Ortiz, Juan Hernández
136
Voted
ISOLA
2010
Springer
15 years 14 days ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
139
Voted
LREC
2010
185views Education» more  LREC 2010»
15 years 4 months ago
Wikipedia and the Web of Confusable Entities: Experience from Entity Linking Query Creation for TAC 2009 Knowledge Base Populati
The Text Analysis Conference (TAC) is a series of Natural Language Processing evaluation workshops organized by the National Institute of Standards and Technology. The Knowledge B...
Heather Simpson, Stephanie Strassel, Robert Parker...
ESIAT
2009
IEEE
15 years 10 days ago
Design of Distributed Architecture Based on Java Remote Method Invocation Technology
Remote method invocation is a distributed object model for the Java programming language that making distributed objects easy to implement and tousle. Remote method invocation appl...
Delin Hou, Huosong Xia