1077 search results - page 117 / 216 » Management of Evolving Specifications using Category Theory |
NGC
2000
Springer
14 years 23 days ago
2000
Springer
Delivering data to on-line game participants requires the game data to be "customized" in real-time to each participant's characteristics. Using multicast in such a...
ICIS
2000
13 years 10 months ago
2000
A Delphi survey of ERP life cycle management issues was conducted within five agencies of the Queensland government. The five agencies each implemented SAP Financials at around th...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
Domain ontology has been used in many Semantic Web applications. However, few applications explore the use of ontology for personalized services. This paper proposes an ontology b...
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...