2261 search results - page 193 / 453 » Relationships Between Models of Concurrency |
SEFM
2009
IEEE
14 years 3 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— In this paper we present a novel approach to estimating the trajectory of a robot by means of inexpensive passive RFID tags and odometry in unknown environments. We sho...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper presents a new method to generalize strategies in order to control parameters of Evolutionary Algorithms (EAs). A learning process establishes the relationship betwe...
COCOON
2007
Springer
14 years 2 months ago
2007
Springer
Tandem repeated regions are closely related to some genetic diseases in human beings. Once a region containing pseudo-periodic repeats is found, it is interesting to study the his...
UM
2007
Springer
14 years 2 months ago
2007
Springer
User’s privacy concerns represent one of the most serious obstacles to the wide adoption of mobile social software applications. In this paper, we introduce a conceptual model wh...