1102 search results - page 196 / 221 » Generalizing Updates: From Models to Programs |
HICSS
2010
IEEE
15 years 7 months ago
2010
IEEE
It is generally acknowledged that macroinvertebrates are good indicators of water quality in streams, as a number of taxa are sensitive to pollution and integrate their response t...
ACMSE
2006
ACM
15 years 6 months ago
2006
ACM
This paper presents the preliminary findings of the Electronic Portfolio Student Perspective Instrument (EPSPI) developed to ascertain student attitudes and intended uses of ePort...
112
click to vote
TCC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
120
click to vote
ISSS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
TAPSOFT
1997
Springer
15 years 4 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...