4731 search results - page 391 / 947 » Securing Interactive Programs |
170
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
181
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we propose a method that detects repeated motion patterns in a long motion sequence efficiently. Repeated motion patterns are the structured information that ca...
173
click to vote
IEEEPACT
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...
175
Voted
CBSE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
169
click to vote
IWPC
2006
IEEE
16 years 26 days ago
2006
IEEE
Software developers often work on multiple simultaneous projects. Even when only a single project is underway, everyday distractions interrupt the development effort. Consequently...