859 search results - page 14 / 172 » Explaining Synthesized Software |
COMPSYSTECH
2007
14 years 16 days ago
2007
: This paper explains decision for communication between distributed network systems based on the Web Services standards and protocols - SOAP and WSDL. Software solution based on t...
COMPUTER
2007
13 years 8 months ago
2007
AI research explains the strangest feature of software and tell us how to understand larger programs.
CODES
2006
IEEE
14 years 2 months ago
2006
IEEE
For modern embedded systems, the complexity of embedded applications has reached a point where the performance requirements of these applications can no longer be supported by emb...
CAV
2011
Springer
13 years 5 days ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
SIGSOFT
2006
ACM
14 years 9 months ago
2006
ACM
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...