1828 search results - page 31 / 366 » First-Class Type Classes |
CIA
2006
Springer
14 years 7 days ago
2006
Springer
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
ER
2000
Springer
14 years 3 days ago
2000
Springer
Model management is a framework for supporting meta-data related applications where models and mappings are manipulated as first class objects using operations such as Match, Merge...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
To analyze complex phenomena which involve moving objects, Trajectory Data Warehouse (TDW) seems to be an answer for many recent decision problems related to various professions (...
ENTCS
2010
13 years 8 months ago
2010
Futures are special kind of values that allow the synchronisation of different processes. Futures are in fact identifiers for promised results of function calls that are still awa...
ENTCS
2008
13 years 8 months ago
2008
The graph rewriting calculus is an extension of the -calculus, handling graph like structures rather than simple terms. The calculus over terms is naturally generalized by using u...