Search Sciweavers | Sciweavers

14084 search results - page 365 / 2817

» A Theory for Game Theories

168

Voted

ECTEL
2009
Springer

81views Machine Learning» more ECTEL 2009»

Towards a Theory of Socio-technical Interactions

16 years 1 months ago

Download www.itu.dk

Technology enhanced learning environments are characterized by socio-technical interactions. Socio-technical interactions involve individuals interacting with (a) technologies, and...

Ravi K. Vatrapu

claim paper

Read More »

137

click to vote

ER
2009
Springer

112views Database» more ER 2009»

A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models

16 years 1 months ago

Download www.inf.ufrgs.br

Jörg Becker, Patrick Delfmann, Sebastian Herw...

claim paper

Read More »

236

Voted

FM
2009
Springer

110views Formal Methods» more FM 2009»

Reduced Execution Semantics of MPI: From Theory to Practice

16 years 1 months ago

Download www.cs.utah.edu

Abstract: There is growing need to develop formal veriﬁcation tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...

Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...

claim paper

Read More »

195

Voted

FROCOS
2009
Springer

139views Control Systems» more FROCOS 2009»

Combinations of Theories for Decidable Fragments of First-Order Logic

16 years 1 months ago

Download disi.unitn.it

Pascal Fontaine

claim paper