1742 search results - page 226 / 349 » An Applicative Module Calculus |
WDAG
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper studies the impact of omission failures on asynchronous distributed systems with crash-stop failures. We provide two different transformations for algorithms,...
CCECE
2006
IEEE
14 years 3 months ago
2006
IEEE
The purpose of this paper is to use the aspect-oriented programming (AOP) paradigm for security testing. AOP allows security experts to develop and inject separate modules for con...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Power system topology is defined by the connectivity among power system components such as generators, power transformers, transmission lines, loads, etc. The knowledge about topo...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
The Bitstream Binding Language (BBL) is a new technology developed by the authors and being standardized by MPEG, which describes how multimedia content and metadata can be mapped...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
Low power hardware design for entropy coding of H.264/AVC baseline profile encoder is urgent for the increasing mobile applications. However, previous works are poor in the power...