2171 search results - page 168 / 435 » A Generic Process Algebra |
141
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract— The need for efficient monitoring of spatiotemporal dynamics in large environmental surveillance applications motivates the use of robotic sensors to achieve sufficie...
149
Voted
ICDM
2010
IEEE
15 years 1 months ago
2010
IEEE
Various real-life datasets can be viewed as a set of records consisting of attributes explaining the records and set of measures evaluating the records. In this paper, we address t...
157
Voted
IFIPTCS
2010
15 years 1 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
125
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
We describe an approach to healthcare coordination using object life cycles (OLCs) [1]. By consulting the OLC of a given patient object instance, the legal methods to apply to tha...
133
click to vote
GIS
2009
ACM
15 years 8 months ago
2009
ACM
Harnessing the potential of today’s ever growing and dynamic geospatial data requires the development of novel visual analysis interfaces, tools and technologies. In this paper,...