4854 search results - page 811 / 971 » It's the Programming, Stupid |
166
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...
174
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
186
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. Since Web services have been enhanced with formal semantic descriptio...
162
click to vote
ELPUB
2008
ACM
15 years 8 months ago
2008
ACM
This paper describes three important pillars of publishing programs emerging at university libraries: providing a robust publishing platform, engaging the academic community in di...
156
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
To prepare for future peta- or exa-scale computing, it is important to gain a good understanding on what impacts a hierarchical storage system would have on the performance of data...