9842 search results - page 551 / 1969 » Compositional timing analysis |
175
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Display ads on the Internet are increasingly sold via ad exchanges such as RightMedia, AdECN and Doubleclick Ad Exchange. These exchanges allow real-time bidding, that is, each ti...
229
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
197
click to vote
ICLP
2005
Springer
16 years 18 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
153
click to vote
ICAT
2003
IEEE
16 years 11 days ago
2003
IEEE
Traditionally film making costs a huge amount of money and a great deal of time and labor. Converting traditional techniques of film making into virtual techniques could save mone...
175
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Spyware is an increasing problem. Interestingly, many programs carrying spyware honestly disclose the activities of the software, but users install the software anyway. We report ...