1898 search results - page 167 / 380 » Weak Keys for IDEA |
BIRTHDAY
2008
Springer
13 years 11 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
CAV
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
ECOWS
2006
Springer
13 years 11 months ago
2006
Springer
The automated composition of Web services is one of the most promising ideas and at the same time one of the most challenging research area for the taking off of serviceoriented a...
CIARP
2007
Springer
13 years 10 months ago
2007
Springer
This paper deals with the problem of finding the movement of a mobile robot given two consecutive laser scans. The proposed method extracts a line map from the sequence of points ...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
The goal of this paper is to show why the framework of communication complexity seems suitable for the study of cellular automata. Researchers have tackled different algorithmic p...