1774 search results - page 250 / 355 » Modeling and implementing software architecture with acme an... |
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Web service development and usage has shifted from simple information processing services to high-value business services that are crucial to productivity and success. In order to...
NETGAMES
2005
ACM
14 years 2 months ago
2005
ACM
In this position paper we propose an evaluation framework for networked mobile gaming, consisting of user, group, communication, and environment models. Each of these components a...
PLDI
2004
ACM
14 years 2 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
DAC
2008
ACM
14 years 10 months ago
2008
ACM
This paper addresses the problem of computational error modeling and analysis. Choosing different word-lengths for each functional unit in hardware implementations of numerical al...
ISSTA
2012
ACM
11 years 11 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...