1018 search results - page 185 / 204 » Generative unbinding of names |
NSPW
2004
ACM
14 years 1 months ago
2004
ACM
Over the past years, the computing industry has started various initiatives announced to increase computer security by means of new hardware architectures. The most notable effort...
ASM
2004
ASM
14 years 1 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
ICSOC
2004
Springer
14 years 1 months ago
2004
Springer
Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that gov...
PPSN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper discusses how preference information of the decision maker can in general be integrated into multiobjective search. The main idea is to first define the opti...
FPGA
2003
ACM
14 years 1 months ago
2003
ACM
This paper presents a flexible FPGA architecture evaluation framework, named fpgaEVA-LP, for power efficiency analysis of LUT-based FPGA architectures. Our work has several contri...