4516 search results - page 505 / 904 » Automated System Design for Availability |
146
click to vote
ACSAC
2003
IEEE
16 years 5 days ago
2003
IEEE
General-purpose operating systems provide a rich computing environment both to the user and the attacker. The declining cost of hardware and the growing security concerns of softw...
186
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
People have developed a variety of conventions for negotiating face-to-face interruptions. The physical distribution of teams, however, together with the use of computer-mediated ...
203
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—We consider opportunistic spectrum access (OSA) strategies for a transmitter in a multichannel wireless system, where a channel may or may not be available and the transmitter m...
200
click to vote
WOSP
2005
ACM
16 years 13 days ago
2005
ACM
Advances in Internet and the availability of powerful computers and high-speed networks have propitiated the rise of Grids. The scheduling of applications is complex in Grids due ...
230
click to vote
ICFEM
2003
Springer
16 years 2 days ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...