1733 search results - page 227 / 347 » On the naturalness of software |
158
click to vote
CSSE
2004
IEEE
15 years 6 months ago
2004
IEEE
One of the most important features of XML-based Web services is that they can be easily accessed over the Internet, but this makes them vulnerable to a series of security threats....
173
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
172
click to vote
ISSRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...
190
click to vote
PAAMS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract Monitoring the runtime behaviour of a distributed agent system for debugging or demonstration purposes provides a challenge to agent system developers. As a lot of the com...
160
click to vote
SOCO
2010
Springer
15 years 4 months ago
2010
Springer
This article presents an algorithm for the automatic detection of circular shapes from complicated and noisy images without using the conventional Hough transform methods. The prop...