2514 search results - page 473 / 503 » The use of industrial-strength formal methods |
119
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
120
click to vote
CBSE
2011
Springer
14 years 1 months ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...
121
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
For extracting the characteristics a specific geographic entity, and notably a place, we propose to use dynamic Extreme Tagging Systems in combination with the classic approach of...
105
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
118
click to vote
WWW
2002
ACM
16 years 2 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...