2314 search results - page 26 / 463 » What is a Model |
111
Voted
ICALP
1992
Springer
15 years 4 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...
INFOCOM
2005
IEEE
15 years 6 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...
68
Voted
IAT
2009
IEEE
15 years 7 months 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 ...
94
Voted
HICSS
2005
IEEE
15 years 6 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...
100
Voted
APN
2001
Springer
15 years 5 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...