Sciweavers

5843 search results - page 744 / 1169
» Software Security in Practice
Sort
View
TACS
2001
Springer
15 years 11 months ago
The UDP Calculus: Rigorous Semantics for Real Networking
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
Andrei Serjantov, Peter Sewell, Keith Wansbrough
AUIC
2000
IEEE
15 years 11 months ago
Supporting Special-Purpose Health Care Models via Web Interfaces
The potential of the Web, via both the Internet and intranets, to facilitate development of clinical information systems has been evident for some time. Most Web-based clinical wo...
James R. Warren, Heath K. Frankel, Joseph T. Noone...
IWPC
2000
IEEE
15 years 11 months ago
Requirements for an Elucidative Programming Environment
The main goal with this paper is to motivate and coin a variation of literate programming which we call elucidative programming. Elucidative programming is oriented towards progra...
Kurt Nørmark
CSEE
2000
Springer
15 years 11 months ago
A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience
We report on experience from teaching OO technology to undergraduate students. Before they can successfully tackle the projects they have to successfully shift to the OO paradigm,...
Birgit Demuth, Heinrich Hußmann, Steffen Zsc...
WACC
1999
ACM
15 years 11 months ago
Interoperability as a means of articulation work
The interoperability of systems to support cooperative work requires moving beyond purely technical issues; it also concerns the means and practices that users adopt to articulate...
Carla Simone, Gloria Mark, Dario Giubbilei