780 search results - page 117 / 156 » Compositional Quantitative Reasoning |
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
Gatekeeping/Information Control is exercised frequently and daily in virtual communities. Gatekeeping exists in four different levels: Regulators, service providers, communitiesâ€...
ISESE
2005
IEEE
14 years 2 months ago
2005
IEEE
Exploratory testing (ET) – simultaneous learning, test design, and test execution – is an applied practice in industry but lacks research. We present the current knowledge of ...
ISPASS
2005
IEEE
14 years 2 months ago
2005
IEEE
As Java is emerging as one of the major programming languages in software development, studying how Java applications behave on recent SMT processors is of great interest. This pa...
QEST
2005
IEEE
14 years 2 months ago
2005
IEEE
Quality of service (QoS) in streaming of continuous media over the Internet is poor, which is partly due to variations in delays, bandwidth limitations, and packet losses. Althoug...
CEAS
2005
Springer
14 years 2 months ago
2005
Springer
Email is an increasingly important and ubiquitous means of communication, both facilitating contact between individuals and enabling rises in the productivity of organizations. Ho...