2978 search results - page 164 / 596 » Operations Research |
163
Voted
ATVA
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
114
Voted
FC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. It is becoming more common for researchers to find themselves in a position of being able to take over control of a malicious botnet. If this happens, should they use thi...
135
Voted
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
The Java (TM) Virtual Machine is being used more frequently as the basic engine behind dynamic web services. With the proliferation of network attacks on these network resources, ...
136
Voted
MONET
2007
15 years 3 months ago
2007
With an increasingly mobile society and the worldwide deployment of mobile and wireless networks, the wireless infrastructure can support many current and emerging healthcare appli...
125
click to vote
APNOMS
2008
Springer
15 years 5 months ago
2008
Springer
The Internet is one of the most successful modern technologies; we cannot imagine what our lives would be without the Internet. Despite the huge success of the Internet, many probl...