2314 search results - page 26 / 463 » What is a Model |
171
click to vote
ICALP
1992
Springer
15 years 10 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
136
click to vote
INFOCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
— Although packet-pair probing has been used as one of the primary mechanisms to measure bottleneck capacity, crosstraffic intensity, and available bandwidth of end-to-end Inter...
120
click to vote
IAT
2009
IEEE
16 years 16 days ago
2009
IEEE
As the use of automated negotiations becomes more mainstream, one key attribute that needs to be incorporated is a measure of a seller’s trust or reliability. In this paper, we ...
152
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper explores the possibility of extending the functional genre analysis model to account for the genre characteristics of non-linear, multi-modal, webmediated documents. Th...
153
click to vote
APN
2001
Springer
15 years 10 months ago
2001
Springer
The increasing number of Petri net variants naturally leads to the question whether the term “Petri net” is more than a common name for very different concepts. This contribut...