4890 search results - page 375 / 978 » From system specifications to component behavioral models |
202
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper studies window flow control focusing on bridging the gap between microscopic factors such as burstiness in sub-RTT timescales, and observable macroscopic properties ...
192
click to vote
OR
2010
Springer
15 years 5 months ago
2010
Springer
Cropping systems models have evolved over the last four decades in response to the demand for modeling to address more complex questions, including issues on sustainable productio...
183
click to vote
IJCSA
2006
15 years 7 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
201
click to vote
AEI
2004
15 years 6 months ago
2004
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...
208
click to vote
SPIN
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...