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