525 search results - page 75 / 105 » Systems Development Using Z Generics |
JUCS
2000
13 years 7 months ago
2000
: This document contains a range of needs and requirements concerning the construction of a light control system for a floor of a university building. A description of the building...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
COMCOM
1998
13 years 7 months ago
1998
Although distributed object computing has developed rapidly over the past decade, and is now becoming commercially important, there remain key application areas inadequately suppo...
TKDE
2012
11 years 10 months ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
CCGRID
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract-- The development of high performance parallel applications for clusters is considered a complex task. This can happen because the influence of the execution environment a...