1027 search results - page 48 / 206 » Callgraph properties of executables |
CP
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
119
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
Abstract. Replication has been widely used in J2EE servers for reliability and scalability. There are two properties which are important for a stateful J2EE application server. Fir...
118
Voted
POPL
2000
ACM
15 years 4 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
97
Voted
DAIS
2007
15 years 2 months ago
2007
In order to guarantee certain levels of QoS, a Web application needs to adapt itself to different execution contexts. However, because of the lack of coordination support in Web p...
126
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...