1398 search results - page 81 / 280 » Ensuring Properties of Interaction Systems |
183
click to vote
RTAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...
118
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
128
click to vote
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper reports an experiment aimed at generating synthetic test data for fraud detection in an IP based videoon-demand service. The data generation verifies a methodology pre...
126
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
This paper deals with asymptotic rejection of periodic disturbances which may have asymmetric basic wave patterns. This class of disturbances covers asymmetric wave forms in the h...
108
click to vote
KIVS
2009
Springer
15 years 11 months ago
2009
Springer
In the context of large decentralized many-to-many communication systems it is impractical to provide realistic and hard bounds for certain QoS metrics including latency bounds. Ne...