1153 search results - page 92 / 231 » Compositional Specification Calculus for Information Systems... |
162
click to vote
DEBU
2002
15 years 3 months ago
2002
Spatio-temporal databases store information about the positions of individual objects over time. In many applications however, such as traffic supervision or mobile communication ...
154
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
platform and a suite of abstract components with which new developments in different application domains can be engineered with minimal effort [1]p.16. Generic platforms, or refere...
105
click to vote
DSVIS
1995
Springer
15 years 7 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
132
click to vote
IEEECIT
2009
IEEE
15 years 10 months ago
2009
IEEE
—Ageing populations and the necessity to reduce environmental impact raise new challenges on our living buildings. Convergence of home control systems (air conditioning, light ma...
151
click to vote
CLEAR
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents the person identification system developed at Athens Information Technology and its performance in the CLEAR 2007 evaluations. The system operates on the audiov...