571 search results - page 18 / 115 » A principled approach to operating system construction in Ha... |
WISE
2002
Springer
15 years 4 months ago
2002
Springer
Taxonomies are a well-established instrument for organizing and accessing resources in Information, Content and Knowledge Management (ICKM) systems. Furthermore, they contribute t...
AICCSA
2006
IEEE
15 years 5 months ago
2006
IEEE
The increased complexity, heterogeneity and the dynamism of networked systems and services make current control and management tools to be ineffective in managing and securing suc...
ICFP
2010
ACM
15 years 24 days ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
TEC
2008
14 years 11 months ago
2008
In this paper, we propose a technique based on genetic programming (GP) for meshfree solution of elliptic partial differential equations. We employ the least-squares collocation pr...
AIMSA
2000
Springer
15 years 4 months ago
2000
Springer
Allowing the student to have some control over the diagnosis inspecting and changing the model the system has made of him is a feasible approach in student modelling which tracks t...