1710 search results - page 259 / 342 » High-Level Programs and Program Conditions |
ESAW
2006
Springer
14 years 29 days ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
VLDB
1987
ACM
14 years 23 days ago
1987
ACM
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
HYBRID
2010
Springer
13 years 11 months ago
2010
Springer
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...
ADBIS
2010
Springer
13 years 10 months ago
2010
Springer
Nowadays, one of the most important problems of software engineering continues to be the maintenance of both databases and applications. It is clear that any method that can reduce...