1403 search results - page 114 / 281 » Quantitative Interprocedural Analysis |
HICSS
2005
IEEE
14 years 4 months ago
2005
IEEE
The "blogosphere" has been claimed to be a densely interconnected conversation, with bloggers linking to other bloggers, referring to them in their entries, and posting ...
SEFM
2005
IEEE
14 years 4 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
EMSOFT
2004
Springer
14 years 4 months ago
2004
Springer
As embedded systems grow in size and complexity, an operating system has become essential to simplify the design of system software, for which more accurate analysis of its impact...
ISCC
2003
IEEE
14 years 3 months ago
2003
IEEE
Host-based rerouting mechanism is a routing scheme that stores and forwards data in application layer. With this, users can communicate in a indirect way. Thus, identity informati...
LREC
2008
14 years 2 days ago
2008
This paper outlines the new resource technologies, products and applications that have been constructed during the development of a multi-modal (MM hereafter) corpus tool on the D...