402 search results - page 27 / 81 » Practical Application of Existing Hypermedia Standards and T... |
FMCAD
2000
Springer
15 years 2 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
SEKE
2007
Springer
15 years 5 months ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
103
click to vote
EUROCRYPT
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...
113
click to vote
DAGSTUHL
2001
15 years 21 days 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...
SERP
2004
15 years 21 days ago
2004
Changes to software systems often entail a loss of quality, especially if they have to be accomplished under pressure of time. Long-term software projects must counter this phenome...