Sciweavers

3404 search results - page 540 / 681
» EJB Design Patterns
Sort
View
SEW
2006
IEEE
15 years 8 months ago
Retrenching the Purse: Finite Exception Logs, and Validating the Small
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
Richard Banach, Michael Poppleton, Susan Stepney
VTC
2006
IEEE
15 years 8 months ago
Store-and-Forward Performance in a DTN
—Delay and disruption tolerant networks have been proposed to address data communication challenges in network scenarios where an instantaneous end-to-end path between a source a...
Mooi Choo Chuah, Peng Yang, Brian D. Davison, Lian...
WCRE
2006
IEEE
15 years 8 months ago
"Cloning Considered Harmful" Considered Harmful
Current literature on the topic of duplicated (cloned) code in software systems often considers duplication harmful to the system quality and the reasons commonly cited for duplic...
Cory Kapser, Michael W. Godfrey
CSCW
2006
ACM
15 years 8 months ago
A comparison of chat and audio in media rich environments
This paper presents two case studies of informal group communication using multimedia conferencing that supports various media including video, audio and chat. The studies provide...
Jeremiah Scholl, John McCarthy, Rikard Harr
CSCW
2006
ACM
15 years 8 months ago
Enlightening a co-located community with a semi-public notification system
This work seeks to strengthen interaction within a research community through a centrally-located physical device that presents online presence information in a semi-public space....
Goldie B. Terrell, D. Scott McCrickard