70 search results - page 7 / 14 » Safe separators for treewidth |
89
Voted
ICONS
2009
IEEE
15 years 4 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
77
Voted
COOPIS
1998
IEEE
15 years 1 months ago
1998
IEEE
With the emergence of fast and standardized communication infrastructures over which separately designed agents of different organizations can interact in real-time, there is an i...
83
Voted
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
—A growing number of current web sites combine active content (applications) from untrusted sources, as in so-called mashups. The object-capability model provides an appealing ap...
APLAS
2004
ACM
15 years 3 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however e...
86
Voted
JSC
2010
14 years 8 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...