Sciweavers

2261 search results - page 335 / 453
» Dynamic types for authentication
Sort
View
AFP
2008
Springer
249views Formal Methods» more  AFP 2008»
14 years 3 months ago
An iTask Case Study: A Conference Management System
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
CEC
2007
IEEE
14 years 3 months ago
A Memetic Algorithm for test data generation of Object-Oriented software
— Generating test data for Object-Oriented (OO) software is a hard task. Little work has been done on the subject, and a lot of open problems still need to be investigated. In th...
Andrea Arcuri, Xin Yao
COLCOM
2007
IEEE
14 years 3 months ago
SYNG: A middleware for statefull groupware in mobile environments
— Computer supported collaboration systems, or groupware, are being used more and more in the real life. In the recent years, we are witnessing an increasing demand for supportin...
M. Ionescu, I. Marsic
ICC
2007
IEEE
14 years 3 months ago
Shared Infrastructure Power Saving for Solar Powered IEEE 802.11 WLAN Mesh Networks
Abstract— Solar powered WLAN infrastructure is a cost effective option in outdoor deployments where continuous power sources are not practical. In these nodes the cost of the sol...
Enrique J. Vargas, Amir A. Sayegh, Terence D. Todd
ICCCN
2007
IEEE
14 years 3 months ago
Containing Hitlist-Based Worms with Polymorphic Signatures
—Worms are a significant threat to network systems, both through resource consumption and malicious activity. This paper examines the spread of a class of hitlist-based worms tha...
Theodor Richardson, Chin-Tser Huang