126 search results - page 20 / 26 » Direct Associations or Internal Transformations |
FSTTCS
2009
Springer
14 years 2 months ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
The USCP had enormous challenges with its IT Program and support to the internal and external stakeholders of the Department, because of a fragile IT infrastructure. The IT Progra...
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
EGOV
2003
Springer
14 years 1 months ago
2003
Springer
: New information and communication technologies within the Administration give rise to a series of important challenges: to select and use the various telematic and computer-relat...
DAGSTUHL
2001
13 years 9 months ago
2001
GXL (Graph eXchange Language) is designed to be a standard exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instanc...