2273 search results - page 96 / 455 » On the Expressiveness and Complexity of ATL |
CSREAESA
2004
14 years 11 months ago
2004
In this paper we present an algorithm for automatic extraction of system behavior from a structural Verilog specification. The algorithm generates a series-parallel poset expressi...
BTW
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: As the evaluation of XQuery expressions in native XML database management systems is a complex task and offers several degrees of freedom, we propose a visual explanation...
UML
2000
Springer
15 years 1 months ago
2000
Springer
Complex software systems require expressive notations for representing their software architectures. Two competing paths have emerged. One is to use a specialized notation for arc...
106
click to vote
IISWC
2008
IEEE
15 years 4 months ago
2008
IEEE
—High-speed content inspection of network traffic is an important new application area for programmable networking systems, and has recently led to several proposals for high-per...
ADC
2008
Springer
15 years 4 months ago
2008
Springer
Several XML query languages have been proposed that use XPath expressions to locate data. But XPath expressions might miss some data because of irregularities in the data and sche...