Sciweavers

5330 search results - page 789 / 1066
» The Performability Tool P'ility
Sort
View
IDEAS
2003
IEEE
96views Database» more  IDEAS 2003»
16 years 12 hour ago
Evaluating Nested Queries on XML Data
In the past few years, much attention has been paid to the study of semistructured data, i.e., data with irregular, possibly unstable, and rapidly changing structure, and, in part...
Carlo Sartiani
INFOCOM
2003
IEEE
16 years 11 hour ago
EMPOWER: A Network Emulator for Wireless and Wireline Networks
— The increasing need of protocol development environments and network performance evaluation tools gives rise to the research of flexible, scalable, and accurate network emulato...
Pei Zheng, Lionel M. Ni
INFOVIS
2003
IEEE
16 years 11 hour ago
Empirical Comparison of Dynamic Query Sliders and Brushing Histograms
Dynamic queries facilitate rapid exploration of information by real-time visual display of both query formulation and results. Dynamic query sliders are linked to the main visuali...
Qing Li, Chris North
KBSE
2003
IEEE
16 years 5 hour ago
Model-based Verification of Web Service Compositions
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
Howard Foster, Sebastián Uchitel, Jeff Mage...
SP
2003
IEEE
121views Security Privacy» more  SP 2003»
16 years 2 hour ago
Specifying and Verifying Hardware for Tamper-Resistant Software
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
David Lie, John C. Mitchell, Chandramohan A. Thekk...