1179 search results - page 195 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
— A common approach for measurement-based characterization of peer-to-peer (P2P) systems is to capture overlay snapshots using a crawler. The accuracy of captured snapshots by P2...
143
click to vote
CEFP
2005
Springer
15 years 10 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
143
click to vote
RE
2005
Springer
15 years 10 months ago
2005
Springer
Interviews with stakeholders can be a useful method for identifying user needs and establishing requirements. However, interviews are also problematic. They are time consuming and...
171
click to vote
GIS
2009
ACM
15 years 9 months ago
2009
ACM
Data warehouses and On-Line Analytical Processing (OLAP) provide an analysis framework supporting the decision making process. In many application domains, complex analysis tasks ...
107
click to vote
COMPSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper explores the firewall security and performance relationship for distributed systems. Experiments are conducted to set firewall security into seven different levels and ...