7661 search results - page 1222 / 1533 » Languages and the Computing Profession |
253
click to vote
BIRTHDAY
2004
Springer
16 years 29 days ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
194
click to vote
CASSIS
2004
Springer
16 years 29 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
190
click to vote
CCS
2004
ACM
16 years 29 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
224
click to vote
EDBTW
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. Peer-to-peer (P2P) computing is currently attracting enormous attention. In P2P systems a very large number of autonomous computing nodes (the peers) pool together their ...
193
click to vote
GG
2004
Springer
16 years 29 days ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...