3815 search results - page 149 / 763 » An Implementation of Session Types |
CORR
2012
Springer
12 years 3 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...
LICS
2006
IEEE
14 years 2 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...
KBSE
2005
IEEE
14 years 1 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 ...
ISORC
2002
IEEE
14 years 1 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...
ICAISC
2010
Springer
14 years 29 days 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 ...