5234 search results - page 784 / 1047 » Method Components - Rationale Revealed |
168
click to vote
ICARIS
2009
Springer
16 years 27 days ago
2009
Springer
As one of the newest members in Artificial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to th...
160
Voted
ICHIT
2009
Springer
16 years 26 days ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
156
click to vote
SBMF
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
184
click to vote
TLCA
2009
Springer
16 years 26 days ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
352
Voted
WEA
2010
Springer
16 years 24 days ago
2010
Springer
Abstract. A new technique for combinational logic optimization is described. The technique is a two-step process. In the first step, the nonlinearity of a circuit – as measured ...