Sciweavers

2413 search results - page 144 / 483
» Models for universal usability
Sort
View
FOSSACS
2009
Springer
14 years 5 months ago
Full Abstraction for Reduced ML
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
Andrzej S. Murawski, Nikos Tzevelekos
HPDC
1996
IEEE
14 years 3 months ago
Mobile Processing in Open Systems
A universal spatial automaton, called WAVE, for highly parallel processing in arbitrary distributed systems is described. The automaton is based on a virus principle where recursi...
Peter Sapaty
CSEE
2006
Springer
14 years 2 months ago
Making Every Student a Winner: The WinWin Approach in Software Engineering Education
This paper shows how Theory-W and the WinWin requirements negotiation approach are used in software engineering education at several universities in the US, Europe, and Asia. We b...
Paul Grünbacher, Norbert Seyff, Robert O. Bri...
JCC
2007
85views more  JCC 2007»
13 years 10 months ago
Quantitative computer simulations of biomolecules: A snapshot
: A recent workshop titled ‘‘Quantitative Computational Biophysics’’ at Florida State University provided an overview of the state of the art in quantitative modeling of bi...
Wei Yang, Hugh Nymeyer, Huan-Xiang Zhou, Bernd A. ...
DSS
2011
13 years 2 months ago
A multi-objective optimization for green supply chain network design
: We study a new supply chain network design problem with environmental concerns. We are interested in the environmental investments decisions in the design phase and propose a mul...
Fan Wang, Xiaofan Lai, Ning Shi