Sciweavers

4190 search results - page 391 / 838
» Type Class Directives
Sort
View
SOCO
2005
Springer
16 years 8 days ago
On the Revival of Dynamic Languages
The programming languages of today are stuck in a deep rut that has developed over the past 50 years. Although we are faced with new challenges posed by enormous advances in hardwa...
Oscar Nierstrasz, Alexandre Bergel, Marcus Denker,...
WAIM
2005
Springer
16 years 8 days ago
An Ontology-Based Host Resources Monitoring Approach in Grid Environment
Monitoring the real-time status of voluntary nodes is a basic task of Quality of Services (QoS) management in grid. The heterogeneity of distributed host resources is an obvious ob...
Yijiao Yu, Hai Jin
CP
2004
Springer
16 years 6 days ago
Global Constraints for Integer and Set Value Precedence
The paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of ...
Yat Chiu Law, Jimmy Ho-Man Lee
GPCE
2004
Springer
16 years 6 days ago
A Fresh Calculus for Name Management
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
Davide Ancona, Eugenio Moggi
HYBRID
2004
Springer
16 years 6 days ago
Discrete and Hybrid Nonholonomy
In this paper we consider the generalization of the classical notion of nonholonomy of smooth constraints in analytical mechanics, to a substantially wider set of systems, allowing...
Antonio Bicchi, Alessia Marigo, Benedetto Piccoli