3108 search results - page 577 / 622 » The Elements of Computer Credibility |
140
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
144
click to vote
ACL
2010
15 years 2 months ago
2010
Weighted tree transducers have been proposed as useful formal models for representing syntactic natural language processing applications, but there has been little description of ...
147
click to vote
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
The development of video games comprises engineering teams within various disciplines, e.g., software engineering, game production, and creative arts. Game jams are a promising ap...
150
click to vote
ICTAC
2010
Springer
15 years 2 months 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 ...
123
click to vote
OTM
2010
Springer
15 years 2 months ago
2010
Springer
Massive-scale distributed computing is a challenge at our doorstep. The current exponential growth of data calls for massive-scale capabilities of storage and processing. This is b...