1010 search results - page 54 / 202 » Logics for Contravariant Simulations |
WSC
2008
13 years 10 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
To address the problem of performing long time simulations of biochemical pathways under in vivo cellular conditions, we have developed a lattice-based, reaction-diffusion model t...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
The distributed information technologies collectively known as Web services recently have demonstrated powerful capabilities for scalable interoperation of heterogeneous software a...
FOAL
2009
ACM
13 years 12 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
DEXAW
2004
IEEE
13 years 11 months ago
2004
IEEE
In Autonomic Computing, an application needs to be aware of its environment. While the term "environment" is not normally understood as being a physical environment, in ...