6149 search results - page 418 / 1230 » Revealing the programming process |
180
Voted
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
223
Voted
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
213
Voted
FC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Consider an “information market” where private and potentially sensitive data are collected, treated as commodity and processed into aggregated information with comme...
207
Voted
BMCBI
2011
14 years 10 months ago
2011
Background: Automatic quantification of neuronal morphology from images of fluorescence microscopy plays an increasingly important role in high-content screenings. However, there ...
168
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
New non-desktop technologies may turn out to be of a more open and generic nature than traditional information technologies. These technologies consequently pose novel challenges ...