4890 search results - page 475 / 978 » From system specifications to component behavioral models |
205
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
“Peer-to-peer” systems like Napster and Gnutella have recently become popular for sharing information. In this paper, we study the relevant issues and tradeoffs in designing a...
213
click to vote
FORMATS
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
176
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
Business process models play an important role for the management, design, and improvement of process organizations and process-aware information systems. Despite the extensive ap...
261
click to vote
HPCA
2002
IEEE
16 years 7 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...
202
click to vote
AAAI
2007
15 years 9 months ago
2007
In this paper, we develop and evaluate several probabilistic models of user click-through behavior that are appropriate for modeling the click-through rates of items that are pres...