1088 search results - page 170 / 218 » Tools for support of automata-based programming |
SIGADA
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
PPDP
2004
Springer
15 years 3 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
Percolation has recently been proposed as a key component of an advanced program execution model for future generation high-end machines featuring adaptive data/code transformatio...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
An application generator has resulted from the authors' efforts to improve the development of interactive database applications. The developed tool is based on a meta-base. T...
MOBILITY
2009
ACM
15 years 2 months ago
2009
ACM
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...