3815 search results - page 149 / 763 » An Implementation of Session Types |
144
Voted
CORR
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. This article presents a new open-source C++ implementation to solve the SLAM problem, which is focused on genericity, versatility and high execution speed. It is based on...
113
Voted
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
147
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
130
click to vote
ISORC
2002
IEEE
15 years 7 months ago
2002
IEEE
— This paper describes IKE 2, which is distributed object computing middleware that supports the creation of interoperable realtime distributed applications. These applications a...
109
click to vote
ICAISC
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents a new implementation of the co-VAT algorithm. We assume we have an m × n matrix D, where the elements of D are pair-wise dissimilarities between m row objects ...