Sciweavers

1380 search results - page 82 / 276
» Reasoning about Input-Output Modeling of Dynamical Systems
Sort
View
FOIS
2001
13 years 10 months ago
Type-syntax and token-syntax in diagrammatic systems
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
John Howse, Fernando Molina, John Taylor, Sun-Joo ...
UMUAI
2008
110views more  UMUAI 2008»
13 years 9 months ago
Modeling self-efficacy in intelligent tutoring systems: An inductive approach
Abstract. Self-efficacy is an individual's belief about her ability to perform well in a given situation. Because selfefficacious students are effective learners, endowing int...
Scott W. McQuiggan, Bradford W. Mott, James C. Les...
CHI
2006
ACM
14 years 9 months ago
The design of an interactive and dynamic representation of the firm
Interpretation and audit of financial information is a significant undertaking that must rest on a fuller understanding of the firm and its operations. A pictorial representation ...
Lin Zhao, Julia Grant, Fred L. Collopy
BPM
2006
Springer
135views Business» more  BPM 2006»
14 years 23 days ago
Improving Exception Handling by Discovering Change Dependencies in Adaptive Process Management Systems
Abstract. Process-aware information systems should enable the flexible alignment of business processes to new requirements by supporting deviations from the predefined process mode...
Barbara Weber, Werner Wild, Markus Lauer, Manfred ...
GLOBAL
2003
Springer
14 years 2 months ago
The Klaim Project: Theory and Practice
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gi...