Sciweavers

12741 search results - page 101 / 2549
» Editorial and call for papers
Sort
View
PE
2002
Springer
137views Optimization» more  PE 2002»
15 years 6 months ago
A case study of Web server benchmarking using parallel WAN emulation
This paper describes the use of a parallel discrete-event network emulator called the Internet Protocol Traffic and Network Emulator (IP-TNE) for Web server benchmarking. The expe...
Carey L. Williamson, Rob Simmonds, Martin F. Arlit...
WWW
2005
ACM
16 years 7 months ago
Web service interfaces
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzing...
RAID
2007
Springer
16 years 14 days ago
"Out-of-the-Box" Monitoring of VM-Based High-Interaction Honeypots
Honeypot has been an invaluable tool for the detection and analysis of network-based attacks by either human intruders or automated malware in the wild. The insights obtained by de...
Xuxian Jiang, Xinyuan Wang
GLOBECOM
2006
IEEE
16 years 13 days ago
On the Suitability of Applications for GMPLS Networks
— After identifying that current GMPLS specifications only allow for the implementation of a call blocking mode of operation that handles immediate-request calls (not book-ahead...
Malathi Veeraraghavan, Xiuduan Fang, Xuan Zheng
KBSE
2005
IEEE
15 years 12 months ago
A context-sensitive structural heuristic for guided search model checking
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
Neha Rungta, Eric G. Mercer