3914 search results - page 684 / 783 » Automating SLA modeling |
135
click to vote
ICCV
2003
IEEE
15 years 10 months ago
2003
IEEE
Automatically understanding events happening at a site is the ultimate goal of visual surveillance system. This paper investigates the challenges faced by automated surveillance s...
127
Voted
ICTAI
2003
IEEE
15 years 10 months ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
146
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we describe a compilation system that automates much of the process of performance tuning that is currently done manually by application programmers interested in h...
123
click to vote
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
Failure analysis (FA) and diagnosis of memory cores plays a key role in system-on-chip (SOC) product development and yield ramp-up. Conventional FA based on bitmaps and the experi...
148
click to vote
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...