3564 search results - page 488 / 713 » Evaluating a Formal Modelling Language |
INFSOF
2006
14 years 11 months ago
2006
The parametric data model captures an object in terms of a single tuple. This feature eliminates unnecessary self-join operations to combine tuples scattered in a temporal relatio...
FOSSACS
2008
Springer
15 years 16 days ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
DATE
2008
IEEE
15 years 5 months ago
2008
IEEE
When designing heterogeneous MP-SoCs designers have to take into account various objectives such as power, die size, flexibility, performance or programmability. But to be able t...
IS
2006
14 years 11 months ago
2006
As XML documents contain both content and structure information, taking advantage of the document structure in the retrieval process can lead to better identify relevant informati...
232
click to vote
ICDE
2008
IEEE
16 years 10 months ago
2008
IEEE
The Web has the potential to become the world’s
largest knowledge base. In order to unleash this potential,
the wealth of information available on the Web needs to be
extracte...