Sciweavers

842 search results - page 2 / 169
» About the authors
Sort
View
CSE
2009
IEEE
13 years 5 months ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...
UC
2009
Springer
14 years 2 months ago
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
Frédéric Prost, Chaouki Zerrari
DC
2001
13 years 9 months ago
The Meaning of LOM and LOM Authoring Tool on HRD
Activity for standardization about educational information is prosperous internationally. The LOM standard is meta-data about learning objects. Learning objects are every types of...
Kenji Hirata, Yoshiyuki Takaoka, Mamoru Ohta, Mits...
AIED
2007
Springer
14 years 1 months ago
Tools for Authoring a Dialogue Agent that Participates in Learning Studies
TuTalk supports the rapid development of dialogue agents for learning applications. It enables an experimenter to create a dialogue agent with either minimal or no programming and ...
Pamela W. Jordan, Brian Hall, Michael A. Ringenber...
ICALT
2007
IEEE
14 years 1 months ago
An Ontology-Based Framework for Authoring Assisted by Recommendation
In this paper, we propose the use of Semantic Web technologies to bridge the gap between authoring systems and authors. The core part of our solution is the ontology-based framewo...
Sasa Nesic, Dragan Gasevic, Mehdi Jazayeri