4666 search results - page 244 / 934 » Equations on Timed Languages |
176
click to vote
QUESTA
2002
15 years 6 months ago
2002
This paper considers an infinite-server queue with multiple batch Markovian arrival streams. The service time distribution of customers may be different for different arrival strea...
160
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...
196
click to vote
ATVA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
134
click to vote
MODELS
2007
Springer
16 years 24 days ago
2007
Springer
We discuss the use of models for run-time error detection to improve user-perceived reliability of consumer electronics products. The aim is to apply the approach in industrial pro...
143
click to vote
FDL
2005
IEEE
16 years 8 days ago
2005
IEEE
This contribution presents a time-domain model of the skin depth effect in a lossy transmission line. The model was developed and implemented in VHDL-AMS for a twowire edge coupl...