9067 search results - page 826 / 1814 » Adaptive Model Checking |
229
click to vote
ECEASST
2008
15 years 7 months ago
2008
In emergency scenarios we can obtain a more effective coordination among team members constituting a mobile ad hoc network (MANET) through the use of reconfigurable systems. This ...
259
click to vote
RTS
2002
15 years 7 months ago
2002
This paper presents a Feedback Control real-time Scheduling (FCS) framework for adaptive realtime systems. An advantage of the FCS framework is its use of feedback control theory ...
215
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
Despite the fact that temporal coherence is undeniably one of the key aspects when processing video data, this concept has hardly been exploited in recent optical flow methods. I...
306
click to vote
POPL
2004
ACM
16 years 8 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
212
click to vote
COLING
2000
15 years 9 months ago
2000
In this paper we describe a method of acquiring word order fl'om corpora. Word order is defined as the order of modifiers, or the order of phrasal milts called 'bunsetsu...