195 search results - page 19 / 39 » Process Algebra with Nonstandard Timing |
139
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
102
click to vote
SIAMSC
2008
15 years 2 months ago
2008
With the rise in popularity of compatible finite element, finite difference and finite volume discretizations for the time domain eddy current equations, there has been a correspon...
152
click to vote
WER
2010
Springer
15 years 10 days ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
134
click to vote
DEXAW
2004
IEEE
15 years 6 months ago
2004
IEEE
Database-like query processing over a network of sensors has become an attractive paradigm for building sensor applications. A sensor query is characterized by data streams among ...
127
click to vote
BTW
2007
Springer
15 years 8 months ago
2007
Springer
: Distributed top-k query processing is increasingly becoming an essential functionality in a large number of emerging application classes. This paper addresses the efficient alge...