2253 search results - page 281 / 451 » The ComFoRT Reasoning Framework |
GG
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
DGO
2009
13 years 11 months ago
2009
As e-government enters the "transformation" phase, public authorities face major challenges in terms of governance and leadership. The present article consolidates prior...
POPL
2010
ACM
13 years 10 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
IAT
2008
IEEE
13 years 10 months ago
2008
IEEE
As information and communication technologies are becoming an integral part of our homes, the demand for AmI systems with assistive functionality is increasing. A great effort has...
C++
1994
13 years 11 months ago
1994
During the last year we built several solutions for opening our ET++ applications for internal and external scripting. The most annoying part to be coded manually was the code stu...