2042 search results - page 302 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
138
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
141
click to vote
MMB
2004
Springer
15 years 9 months ago
2004
Springer
Rate measurements are required for many purposes, e.g. for system analysis and modelling or for live systems that react to measurements. For off-line measurement all data is avail...
134
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
This paper presents a computational approach for the frequency-domain identification of multivariable, discrete-time transfer function models based on a cost function minimization...
128
click to vote
JSW
2007
15 years 4 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
155
click to vote
TON
2010
15 years 2 months ago
2010
—In this paper, we investigate the maximization of the coverage time for a clustered wireless sensor network (WSN) by optimal balancing of power consumption among cluster heads (...