2409 search results - page 128 / 482 » Logical systems for structured specifications |
190
click to vote
BTW
2007
Springer
16 years 14 days ago
2007
Springer
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
144
click to vote
FPL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Increasing logic resources coupled with a proliferation of integrated performance enhancing primitives in high-end FPGAs results in an increased design complexity which r...
166
click to vote
TDM
2004
15 years 7 months ago
2004
This paper examines the use of XML for modern extractionbased question answering (QA). We feel that the XML community has taken too narrow a view of structured retrieval, and that...
162
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
138
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Up to now, there has been little academic support for the challenges of IT governance/IT management. As a reaction, various best practice frameworks - like COBIT or CMMI - were de...