Sciweavers

3172 search results - page 566 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
ERCIM
2008
130views more  ERCIM 2008»
15 years 6 months ago
Mediated Collaborative Learning
Information and Communication Technologies facilitate the emergence of new contexts and practices of learning that educational institutions have to adapt to their pedagogical disc...
Kostas Pentikousis, Carmen Martinez-Carrillo
ESWA
2008
124views more  ESWA 2008»
15 years 6 months ago
An expert system for dynamic re-coordination of distributed workflows
A persistent problem in the use of automated workflow management systems for inter-organizational workflows has been the need for manual redefinition of coordination points in the...
William L. Kuechler Jr., Vijay K. Vaishnavi
FUIN
2008
98views more  FUIN 2008»
15 years 6 months ago
A Restarted Strategy for Efficient Subsumption Testing
We study runtime distributions of subsumption testing. On graph data randomly sampled from two different generative models we observe a gradual growth of the tails of the distribut...
Ondrej Kuzelka, Filip Zelezný
IEE
2008
115views more  IEE 2008»
15 years 6 months ago
Faithful mapping of model classes to mathematical structures
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
Ádám Darvas, Peter Müller
CORR
2006
Springer
90views Education» more  CORR 2006»
15 years 6 months ago
Path-independent load balancing with unreliable machines
We consider algorithms for load balancing on unreliable machines. The objective is to optimize the two criteria of minimizing the makespan and minimizing job reassignments in resp...
James Aspnes, Yang Richard Yang, Yitong Yin