404 search results - page 44 / 81 » Multi-dimensional Dynamic Logic Programming |
EMSOFT
2006
Springer
14 years 10 days ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
SIGMOD
2010
ACM
14 years 17 days ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
CAEPIA
2003
Springer
14 years 10 days ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...