2850 search results - page 257 / 570 » On Timed Models and Full Abstraction |
183
click to vote
ICCSA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The accurate prediction of Web navigation patterns has immense commercial value as the Web evolves into a primary medium for marketing and sales for many businesses. Ofte...
154
click to vote
SIGMETRICS
2004
ACM
16 years 8 days ago
2004
ACM
d Abstract] Mengzhi Wang, Kinman Au, Anastassia Ailamaki, Anthony Brockwell, Christos Faloutsos, and Gregory R. Ganger Carnegie Mellon University This work explores the applicatio...
165
click to vote
DATE
2003
IEEE
16 years 4 days ago
2003
IEEE
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design ...
206
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
201
click to vote
DMSN
2007
ACM
15 years 10 months ago
2007
ACM
Many sensor network applications monitor continuous phenomena by sampling, and fit time-varying models that capture the phenomena's behaviors. We introduce Pulse, a framework...