859 search results - page 62 / 172 » Behaviour Analysis of Distributed Systems Using the Tracta A... |
COORDINATION
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
SIGMOD
2009
ACM
14 years 10 months ago
2009
ACM
Entity Resolution (ER) is an important real world problem that has attracted significant research interest over the past few years. It deals with determining which object descript...
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
SUM
2010
Springer
13 years 8 months ago
2010
Springer
CCTV and sensor based surveillance systems are part of our daily lives now in this modern society due to the advances in telecommunications technology and the demand for better sec...
ICCV
2007
IEEE
13 years 12 months ago
2007
IEEE
Development of multiple camera based vision systems for analysis of dynamic objects such as humans is challenging due to occlusions and similarity in the appearance of a person wi...