Sciweavers

5664 search results - page 683 / 1133
» Creativity support tools
Sort
View
AIED
2005
Springer
16 years 13 days ago
Authoring plug-in tutor agents by demonstration: Rapid, rapid tutor development
We combined two existing methods for rapid tutor development: “plug-in tutor agents” [6] and an authoring tool suite (CTAT) that supports the creation of tutors “by demonstra...
Vincent Aleven, Carolyn Penstein Rosé
BIRTHDAY
2005
Springer
16 years 13 days ago
Description Logics as Ontology Languages for the Semantic Web
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...
Franz Baader, Ian Horrocks, Ulrike Sattler
BPM
2005
Springer
114views Business» more  BPM 2005»
16 years 13 days ago
An Analysis and Taxonomy of Unstructured Workflows
Most workflow tools support structured workflows despite the fact that unstructured workflows can be more expressive. The reason for this is that unstructured workflows are more pr...
Rong Liu, Akhil Kumar
DSVIS
2005
Springer
16 years 13 days ago
Goal-Oriented Design of Domain Control Panels
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
Christophe Ponsard, Nadiya Balych, Philippe Masson...
EPEW
2005
Springer
16 years 13 days ago
Automatic Translation of WS-CDL Choreographies to Timed Automata
In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time ...
Gregorio Díaz, Juan José Pardo, Mar&...