7167 search results - page 1346 / 1434 » A Technique for Invariant Generation |
SIGMETRICS
2005
ACM
15 years 3 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
SOUPS
2005
ACM
15 years 3 months ago
2005
ACM
Phishing is a model problem for illustrating usability concerns of privacy and security because both system designers and attackers battle using user interfaces to guide (or misgu...
VEE
2005
ACM
15 years 3 months ago
2005
ACM
Virtual execution environments have become increasingly useful in system implementation, with dynamic translation techniques being an important component for performance-critical ...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
This paper focuses on a framework for representing a team plan and its projections on individual agents. The team plan is represented with a coloured Petri net. Using the implicit...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...