7557 search results - page 535 / 1512 » Modeling Timed Concurrent Systems |
183
click to vote
RTAS
2005
IEEE
16 years 17 days ago
2005
IEEE
Low-end embedded architectures, such as sensor nodes, have become popular in diverse fields, many of which impose real-time constraints. Currently, the Atmel Atmega processor fam...
170
click to vote
EUC
2007
Springer
16 years 1 months ago
2007
Springer
We demonstrate an improved consensus-driven utility accrual scheduling algorithm (DUA-CLA) for distributable threads which execute under run-time uncertainties in execution time, ...
200
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
We study the problem of feedback stabilization of a family of nonlinear stochastic systems with switching mechanism modeled by a Markov chain. We introduce a novel notion of stabi...
155
click to vote
CERA
2004
15 years 6 months ago
2004
: Virtual-build-to-order (VBTO) is a form of order fulfilment system in which the producer has the ability to search across the entire pipeline of finished stock, products in produ...
243
click to vote
ADL
2000
Springer
15 years 11 months ago
2000
Springer
A mediator system is a kind of a meta-search engine that provides a seamlessly integrated search service for diverse search engines (collections). Since collections of a mediator ...