5090 search results - page 626 / 1018 » Constructing Strategies for Programming |
194
click to vote
MEMOCODE
2003
IEEE
16 years 2 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
172
click to vote
ICLP
2003
Springer
16 years 12 hour ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
174
click to vote
IFL
2003
Springer
16 years 10 hour ago
2003
Springer
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...
194
Voted
ILP
2003
Springer
16 years 3 hour ago
2003
Springer
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success...
171
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...