Sciweavers

4904 search results - page 771 / 981
» Groupware: Issues and Applications
Sort
View
CORR
2008
Springer
88views Education» more  CORR 2008»
15 years 6 months ago
The Korrontea Data Modeling
Needs of multimedia systems evolved due to the evolution of their architecture which is now distributed into heterogeneous contexts. A critical issue lies in the fact that they ha...
Emmanuel Bouix, Philippe Roose, Marc Dalmau
ENTCS
2008
132views more  ENTCS 2008»
15 years 6 months ago
Distributed Verification of Multi-threaded C++ Programs
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
ENTCS
2008
101views more  ENTCS 2008»
15 years 6 months ago
Improving Fault-based Conformance Testing
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
Bernhard K. Aichernig, Martin Weiglhofer, Franz Wo...
EOR
2008
133views more  EOR 2008»
15 years 6 months ago
Investigating a hybrid simulated annealing and local search algorithm for constrained optimization
Constrained Optimization Problems (COP) often take place in many practical applications such as kinematics, chemical process optimization, power systems and so on. These problems ...
Chandra Sekhar Pedamallu, Linet Özdamar
EOR
2008
136views more  EOR 2008»
15 years 6 months ago
Game-theoretic analysis of cooperation among supply chain agents: Review and extensions
This paper surveys some applications of cooperative game theory to supply chain management. Special emphasis is placed on two important aspects of cooperative games: profit alloca...
Mahesh Nagarajan, Greys Sosic