3686 search results - page 352 / 738 » Pattern-Based Parallel Programming |
133
click to vote
MAS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...
130
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
149
click to vote
MICCAI
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. High performance computing has become a key step to introduce computer tools, like real-time registration, in the medical field. To achieve real-time processing, one usua...
141
click to vote
COORDINATION
2009
Springer
16 years 4 months ago
2009
Springer
Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A process-oriented design is typically ...
108
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...