139 search results - page 3 / 28 » jucs 2010 |
JUCS
2010
14 years 6 months ago
2010
96
Voted
JUCS
2010
14 years 10 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
14 years 10 months ago
2010
: The membership problems of both stack automata and nonerasing stack automata are shown to be complete for polynomial time.
JUCS
2010
14 years 10 months ago
2010
JUCS
2010
14 years 10 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, ...