9842 search results - page 738 / 1969 » Compositional timing analysis |
201
click to vote
DOCENG
2004
ACM
16 years 28 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
176
click to vote
IMC
2004
ACM
16 years 28 days ago
2004
ACM
Malicious traffic from self-propagating worms and denialof-service attacks constantly threatens the everyday operation of Internet systems. Defending networks from these threats d...
226
click to vote
ISSTA
2004
ACM
16 years 28 days ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
230
click to vote
AUSAI
2004
Springer
16 years 28 days ago
2004
Springer
Nowadays, automated Web document classification is considered as an important method to manage and process an enormous amount of Web documents in digital forms that are extensive a...
245
click to vote
EGPGV
2004
Springer
16 years 27 days ago
2004
Springer
We describe a system for the texture-based direct volume visualization of large data sets on a PC cluster equipped with GPUs. The data is partitioned into volume bricks in object ...