1604 search results - page 112 / 321 » Development Separation in Lambda-Calculus |
CONCURRENCY
2008
13 years 10 months ago
2008
In this paper, we present a Grid computing platform that provides experimental scientists and analysts with access to computational simulations and knowledge databases hosted in s...
INFORMATICALT
2002
13 years 10 months ago
2002
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...
SIAMADS
2010
13 years 5 months ago
2010
Lubrication equations describe many structuring processes of thin liquid films. We develop and apply a numerical framework suitable for their analysis employing a dynamical systems...
CSCW
2004
ACM
14 years 3 months ago
2004
ACM
Information hiding is one of the most important and influential principles in software engineering. It prescribes that software modules hide implementation details from other modu...
EDOC
2003
IEEE
14 years 3 months ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...