1699 search results - page 267 / 340 » On the Expressive Power of QLTL |
179
click to vote
DOCENG
2003
ACM
15 years 11 months ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
191
click to vote
CICLING
2003
Springer
15 years 11 months ago
2003
Springer
The theory of realizational morphology presented by Stump in his influential book Inflectional Morphology (2001) describes the derivation of inflected surface forms from underly...
163
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
GridRPC is a class of Grid middleware for scientific computing. Interoperability has been an important issue, because current GridRPC systems each employ its own protocol. Web se...
158
click to vote
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
The ultimate goal of logic synthesis is to explore implementation flexibility toward meeting design targets, such as area, power, and delay. Traditionally, such flexibility is exp...
142
click to vote
ICECCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Although program faults are widely studied, there are many aspects of faults that we still do not understand, particularly about OO software. In addition to the simple fact that o...