738 search results - page 145 / 148 » Semantic parameterization: A process for modeling domain des... |
CSFW
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
EON
2008
13 years 8 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
AAMAS
2008
Springer
13 years 7 months ago
2008
Springer
The ability to create effective multi-agent organizations is key to the development of larger, more diverse multi-agent systems. In this article we present KB-ORG: a fully automate...
BMCBI
2004
13 years 7 months ago
2004
Background: Modern biological research makes possible the comprehensive study and development of heritable mutations in the mouse model at high-throughput. Using techniques spanni...
TKDE
2012
11 years 9 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...