139 search results - page 3 / 28 » jucs 2010 |
JUCS
2010
12 years 11 months ago
2010
JUCS
2010
13 years 3 months ago
2010
: In this paper, we describe the static analysis of the XEN 3.0.3 hypervisor using the Frama-C static analysis tool.
JUCS
2010
13 years 3 months ago
2010
: The membership problems of both stack automata and nonerasing stack automata are shown to be complete for polynomial time.
JUCS
2010
13 years 3 months ago
2010
JUCS
2010
13 years 3 months ago
2010
of Abstract and Full Paper submission: October 31, 2009 November 15, 2009 Notification of Acceptance: December 7, 2009: Deadline of Authors and Early-bird Registration: January 8, ...