3706 search results - page 622 / 742 » The Transformational Approach to Program Development |
WOTUG
2008
13 years 9 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
CSREAESA
2006
13 years 9 months ago
2006
Hybrid spacecraft processing platforms that combine radiation-hardened components with commercialgrade COTS components have the potential to dramatically improve performance while ...
ANLP
1992
13 years 9 months ago
1992
While complete understanding of arbitrary input text remains in the future, it is currently possible to construct natural language processing systems that provide a partial unders...
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
Collecting, organizing, and thinking about diverse information resources is the keystone of meaningful digital information experiences, from research to education to leisure. Meta...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...