1733 search results - page 304 / 347 » On the naturalness of software |
150
click to vote
UIST
2004
ACM
15 years 11 months ago
2004
ACM
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...
155
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
146
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
One important trend in enterprise-scale IT has been the increasing use of business-to-business integration (B2Bi) technologies to automate business processes that cross organisati...
149
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
In the last few years there has been much interest in the delivery of software-as-a-service. The concept of the remote delivery of software by Application Service Providers (ASPs)...
171
click to vote
ISORC
2003
IEEE
15 years 11 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...