3658 search results - page 640 / 732 » The logic of proofs, semantically |
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
PEPM
2004
ACM
14 years 1 months ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...
CAISE
2003
Springer
14 years 1 months ago
2003
Springer
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into ...
ATAL
2001
Springer
14 years 21 days ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
HASE
1999
IEEE
14 years 15 days ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...