3302 search results - page 355 / 661 » Software Is More Than Code |
192
Voted
CEEMAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation d...
143
Voted
FOSSACS
2001
Springer
15 years 11 months ago
2001
Springer
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...
142
click to vote
CASES
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents designs for parallel saturating multioperand adders. These adders have only a single carrypropagate adder on the critical delay path, yet produce the same resu...
158
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
160
click to vote
AES
2000
Springer
15 years 11 months ago
2000
Springer
The National Institute of Standards and Technology (NIST) has announced that one of the design criteria for the Advanced Encryption Standard (AES) algorithm was the ability to eï¬...