2838 search results - page 249 / 568 » Verifying Controlled Components |
QOFIS
2001
Springer
15 years 5 months ago
2001
Springer
The paper describes the traffic handling mechanisms implemented in the AQUILA pilot QoS IP network [10]. The AQUILA project enhances the DiffServ architecture concept [1,2,3] by ad...
112
click to vote
POPL
2000
ACM
15 years 5 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
ICCV
1999
IEEE
15 years 5 months ago
1999
IEEE
Specularities on surfaces with tangential hairs or grooves are readily observable in nature. Examples of such phenomena are the arched or looped highlights observed on horses and ...
ISCAS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents the design consideration of high order digital AZ modulators used as modulus controller for fractional-N frequency synthesizer. A third-order MASH structure (M...
125
click to vote
RTCSA
1997
IEEE
15 years 5 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...