232 search results - page 1 / 47 » Typing and Transformational Effects in Complex Information S... |
100
click to vote
IJCIS
2007
15 years 7 days ago
2007
Information plays an increasingly important role in our lives. Often we retrieve this information by querying the Web: data resources found on the web may provide the information ...
POPL
2003
ACM
15 years 5 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
WSC
2004
15 years 1 months ago
2004
This paper introduces and summarizes a comprehensive systems approach guiding an ongoing project addressing these significant challenges confronting logistics transformation. Curr...
131
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
103
click to vote
CLEIEJ
2010
14 years 9 months ago
2010
Global Model Management (GMM) is a model-based approach for managing large sets of interrelated heterogeneous and complex MDE artifacts. Such artifacts are usually represented as ...