3831 search results - page 263 / 767 » Dynamic Context Logic |
164
click to vote
APLAS
2006
ACM
15 years 12 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
178
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
125
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
In this work we address the problem of managing the reactive behavior in distributed environments in which data continuously changes over time, where the users may need to explicit...
178
click to vote
IV
2009
IEEE
16 years 18 days ago
2009
IEEE
We present an application for integrated visualization of gene expression data from time series experiments in gene regulation networks and metabolic networks. Such integration is...
143
click to vote
EUROPAR
2007
Springer
16 years 4 days ago
2007
Springer
The grid environment presents numerous opportunities for business applications as well as for scientific ones. Nevertheless the current trends seem to lead to several independent ...