13717 search results - page 463 / 2744 » Control Systems |
163
click to vote
CSFW
2006
IEEE
16 years 12 days ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
150
click to vote
FDL
2005
IEEE
15 years 12 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
133
click to vote
ESAW
2004
Springer
15 years 11 months ago
2004
Springer
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
151
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents a method for admission control and request scheduling for multiply-tiered e-commerce Web sites, achieving both stable behavior during overload and improved res...