Sciweavers

14783 search results - page 318 / 2957
» Quantum Information Processing
Sort
View
EXACT
2008
15 years 7 months ago
A Temporal Abductive Diagnostic Process for Runtime Properties Violations
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be...
Theocharis Tsigkritis, George Spanoudakis
CHI
2008
ACM
15 years 6 months ago
Providing insight into group process
This paper presents ongoing work towards development of a reporting tool that provides group work facilitators with insight into group work processes. The work includes three main...
Gahgene Gweon
ETRA
2008
ACM
112views Biometrics» more  ETRA 2008»
15 years 6 months ago
KiEV: a tool for visualization of reading and writing processes in translation of text
The increase in usage of eye-tracking technology to study text translation processes has revealed the need for effective tools for visualization of the data collected. We propose ...
Oleg Spakov, Kari-Jouko Räihä
BIS
2008
86views Business» more  BIS 2008»
15 years 6 months ago
Specifying Separation of Duty Constraints in BPEL4People Processes
Abstract. Security issues have to be carefully considered for information systems that support the business processes of an organization, in particular, when these systems build on...
Jan Mendling, Karsten Ploesser, Mark Strembeck
EDM
2010
134views Data Mining» more  EDM 2010»
15 years 6 months ago
Examining Learner Control in a Structured Inquiry Cycle Using Process Mining
High potential variation in prior knowledge, metacognitive skills, and motivation within learner populations can prompt design strategies that combine explicit structuring and scaf...
Larry Howard, Julie Johnson, Carin Neitzel