6149 search results - page 698 / 1230 » Revealing the programming process |
204
click to vote
MEMOCODE
2003
IEEE
16 years 14 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...
185
click to vote
FATES
2003
Springer
16 years 12 days ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
284
click to vote
GLOBAL
2003
Springer
16 years 12 days ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
196
click to vote
SAC
2010
ACM
16 years 9 days 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...
206
click to vote
3DPVT
2002
IEEE
16 years 5 days ago
2002
IEEE
3D medical images produced in health centers represent tremendous amounts of data spread over different places. Automatic processing of these data often allow quantitative and rep...