3951 search results - page 614 / 791 » Automatic amortized analysis |
175
click to vote
ISSRE
2008
IEEE
16 years 16 hour ago
2008
IEEE
Systems connected to the Internet are highly susceptible to denial-of-service attacks that can compromise service availability, causing damage to customers and providers. Due to e...
137
click to vote
KBSE
2008
IEEE
16 years 15 hour ago
2008
IEEE
Software systems increasingly integrate Off-The-Shelf (OTS) components. However, due to the lack of knowledge about the reused OTS components, this integration is fragile and can ...
197
click to vote
MEMOCODE
2008
IEEE
16 years 14 hour ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
151
click to vote
CGO
2007
IEEE
15 years 12 months ago
2007
IEEE
General-purpose operating systems, such as Linux, are increasingly being used in embedded systems. Computational resources are usually limited, and embedded processors often have ...
150
click to vote
CVPR
2007
IEEE
15 years 12 months ago
2007
IEEE
Determining the status of a runway prior to landing is essential for any aircraft, whether manned or unmanned. In this paper, we present a method that can detect moving objects on...