3239 search results - page 241 / 648 » A Logical Process Calculus |
191
click to vote
ECOWS
2008
Springer
15 years 6 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
155
Voted
FPGA
2001
ACM
15 years 9 months ago
2001
ACM
A prototype platform has been developed that allows processing of packets at the edge of a multi-gigabit-per-second network switch. This system, the Field Programmable Port Extend...
122
click to vote
ICCAD
1996
IEEE
15 years 9 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
155
click to vote
DAC
2009
ACM
16 years 6 months ago
2009
ACM
Embedded cryptosystems show increased vulnerabilities to implementation attacks such as power analysis. CMOS technology trends are causing increased process variations which impac...
164
click to vote
FUZZY
1997
Springer
15 years 9 months ago
1997
Springer
Today many kinds of postprocessing are used in digital TV receivers or multimedia terminals for video signals to enhance the picture quality. To achieve this the properties of hum...