667 search results - page 85 / 134 » Exceptions for Algorithmic Skeletons |
134
Voted
ICTAC
2010
Springer
15 years 15 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
120
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
103
Voted
PERCOM
2009
ACM
15 years 9 months ago
2009
ACM
—One of the major issues in a wireless sensor network (WSN) is how to cover an interested area. In this paper, we consider the area coverage problem for variable sensing radii WS...
139
Voted
CW
2008
IEEE
15 years 9 months ago
2008
IEEE
—This paper proposes a keyframe-based video object editing scheme for automatic object shape deformation. Except for object segmentation, several technologies are developed in th...
97
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— A firewall’s complexity is known to increase with the size of its rule set. Complex firewalls are more likely to have configuration errors which cause security loopholes. ...