2984 search results - page 414 / 597 » Method engineering process patterns |
112
click to vote
SIGCOMM
2000
ACM
15 years 5 months ago
2000
ACM
Traffic measurement is a critical component for the control and engineering of communication networks. We argue that traffic measurement should make it possible to obtain the spati...
123
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
111
click to vote
IUI
2010
ACM
15 years 10 months ago
2010
ACM
Aspect-level news browsing provides readers with a classified view of news articles with different viewpoints. It facilitates active interactions with which readers easily discove...
120
click to vote
IUI
2009
ACM
15 years 10 months ago
2009
ACM
Identifying highlights in multimedia content such as video and audio is currently a very difficult technical problem. We present and evaluate a novel algorithm that identifies hig...
108
click to vote
ISPASS
2010
IEEE
15 years 8 months ago
2010
IEEE
Continuous circuit miniaturization and increased process variability point to a future with diminishing returns from dynamic voltage scaling. Operation below Vcc-min has been prop...